Монада это кортеж из одного значения)

Это цепочка вычислений

Это рекурсивное замыкание

Это цепочный и аплицируемый функтор

Лекцию посмотрите и примеры кода

например

https://gist.github.com/wentout/456ab21582dde12e73bf56fada6ecce8

но лекция гораздо лучше:
https://www.youtube.com/watch?v=3Z7f0Gi8pxw

и примеры:
https://github.com/HowProgrammingWorks/Functor/tree/master/JavaScript

Спасибо, уже кучу всего пересмотрел, но уверенного понимания нет. Понимаю цепочка - есть ключевое слово. Если засунуть цепочку промисов в одну функцию она станет монадой?

К сожалению js promise это не монада.

это монада continuation

Если без программирования можно, то попытаюсь.

Например, нужно кому-то понять, что такое направление. Как понятие. Направление течения реки или потока сока в дереве, от корней в ствол, дальше в ветви и в листья. Или наоборот, из листьев в ствол и т.п. Вот как это описать? Это же не алгоритм какой-нибудь, и состояний же тоже нет, это же не так просто даже представить.

Тогда надо это ощутить руками или увидеть глазами

Да, только вот, исходная задача — описать это как-нибудь так, чтобы понимание ощущения было воспроизводимо.

Лекция отличная, кажется начинаю понимать! Аплицируемый функтор очень напоминает паттерн visitor.

Имеешь ввиду, что из цепочки есть ранний выход (типо break) или я не так понял что то?

К нему обычно предъявляют его странную реализацию. 2 аргумента у then; map и bind в одном флаконе. Тут мне вспоминается срач в issue (Incorporate monads and category theory). Ну и что его lazy не сделали, хотя к этой теме отношения не имеет.

Ух, сложно. Не, тут столько не вспомнить, просто читал где-то разные споры и, возможно, выдал желаемое за действительное.

Мне тут, скорей больше интересен вопрос работы с данными, нежели то, как это выражено алгоритмически. Тогда если данные мигрируют из .then в .then, возможно подвергаясь обработке, и это можно "продолжать бесконечно", то есть даётся интерфейс продолжения — то как по мне этот интерфейс и есть continuation.

Обычно встречается поверхносное обьяснение за 30-60 мин, этого мало. У людей обычно не хватает мат. базы. Мне очень зашли лекции Москвина по фп. Там начиная от обьяснения основ лямбда исчисления до реализации монад на haskell

а у вас случайно нет примера монады either на ноде? для отлова ошибок.

спасибо, это по идее библиотека. проблема в том что хочется увидеть реальный проект где это дело используется. как например покинуть данные router midleware service repository на них.