спросить, быть может вы знаете, что такое монада. Дело в том, что я (как мне кажется), понял что это такое. Это такой объект (не обязательно именно как инстанс класса, это может быть и функция), в которую мы засовываем информацию для переработки, но в отличие от функтора (не функционального объекта с перегруженным оператором вызова функции, а имеется ввиду функтор, который принимает данные для обработки и функцию-алгоритм , по которому эти данные этот функтор потом переработает, можно сказать, что функтор это просто некий станок с чпу, в который суешь болванку и картридж с программой и он по этой программе из болванки вытачивает деталь). Ну так вот, если функтор принял болванку, программу и по ней изготовил деталь, то монада она как принимает, так и отдает один и тот же тип данных - так называемый враппер, то есть монада точно также принимает программу для обработки болванки, но в отличие от функтора, в монаду запихивают не прям саму болванку, а кладут эту болванку в коробочку-враппер. Для чего это нужно? Спросите Вы, и будете правы, казалось бы, а правда, для чего ?? А оказывается вот для чего - дело в том, что монада работает вот как - она как функтор по переданной программе обрабатывает деталь, но так как мы ей деталь передаем в коробочке, то монада, работает как станок на конвейере, где по ленте двигаются не голые прям детали, а положенные в унифицированные ящики, тогда станку не надо распознавать что это за деталь, он тупо работает по такому алгоритму, он ДОСТАЕТ деталь (заготовку) из ящика и натравливает на нее программу-обработчик, но в отличие от функтора, монада (в данном случае это один из агрегатов на производственной линии) после получения детали,- она обратно засовывает эту деталь в ящик на выходе монады мы получаем опять тот же самый ящик. Но внутри уже будет лежать деталь, а не заготовка (после обработки на первом агрегате на производственном конвейере). Дальше мы можем этот ящик засунуть в следующую монаду (следущий агрегат на производственной линии), и как Вы уже догадались, этому агрегату совершенно до лампочки что ему подсунули, он принял этот ящик , точно также достал заготовку и применил уже свою программу для обработки и опять положил в ящик. Таким образом монады в отличие от функтора очень легко составлять в линию, так как и на входе и на выходе мы по сути имеем один и тот же тип-ящик. А внутри ящика уже может лежать сама трубуемая деталь. То есть по сути, монада это агрегат с программный управлением , который имеет как на входе унифицированный тип данных, так и на выходе (в данном случае это ящик, перемещаемый между агрегатами по конвеерной линии), что позволяет легко соединять операции в линию.
"Извините, я зайду.. Мне только спросить..."😁
Обсуждают сегодня