Что такое монада?

Question

[Eugenue Cesarevich]

Пытаясь понять, что такое монада. Определение из словаря:

это абстракция линейной цепочки связанных вычислений

Что этим пытался сказать автор, я без понятия (в остальных источниках определение не лучше). Я встретился с этим термином, когда читал про Stream в Java8. Вот цитата:

Streams (стримы/потоки) являются Монадами, которые играют большую роль в обеспечении функционального программирования в Java.

Как это понимать? Можете простыми словами объяснить, что такое монада?

Comments

[Eugenue Cesarevich]

Bavashi, так суть в чём, Stream API никакого отношения к монадам не имеет и мне чушь впарили в статье или всё-таки имеет?

[Eugenue Cesarevich]

Bavashi, ну то есть лучше про это забыть вообще, а вспомнить только когда haskell захочу изучать?

Answer 1

[Орхан Гасанлы]

Вот, простое объяснение - https://urvanov.ru/2017/10/18/%D0%BC%D0%BE%D0%BD%D...

Comments

[Сергей Горностаев]

В простом объяснении забыли упомянуть, что Optional нарушает законы монад, а потому монадой является очень условно.

Answer 2

[Сергей Горностаев]

Моноид в категории эндофункторов.

Answer 3

[pazukdev]

Монада - это абстракция над цепочкой связанных вычислений. Контейнер, который принимает текущее состояние и функцию, которая принимает это состояние в качестве аргумента и возвращает новое состояние. Этот контейнер инкапсулирует среду (контекст) выполнения вычислений с учетом возможных исключений; на выходе только ожидаемые значения. Вобщем, just a monoid in the category of endofunctors (c).

Answer 4

[Александр Скуснов]

Есть обычное вычисление a -> b
Монады же реализуют вычисления с эффектами:
Maybe - может быть неудача,
Список - много результатов,
Either - типизированные исключения,
(s, b) - запись в лог,
( (->) e ) b - чтение из внешнего окружения,
(State s) b - изменяемые состояния,
IO b - ввод-вывод (консоль, файлы).
(примеры для Haskel)

Comments

[Александр Скуснов]

Я ещё не весь Haskell освоил, тем более, что речь шла о Java. Но скорее всего, это аналог ввода-вывода (IO) - это не чистые функции, а раз есть эффект, то это монада.

Answer 5

[Михаил Потанин]

Монада - это общий интерфейс, который позволяет унифицировано работать с очень разными сущностями, такими как списки, парсеры, IO-операции (как синхронные, так и асинхронне).