170 похожих чатов

Добрый день, извините, что беспокою , но я просто хотел

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

1 ответов

26 просмотров

"Извините, я зайду.. Мне только спросить..."😁

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта