Promise это монада, говорю де
foo?.bar? - тож монадический синтаксис, btw
Воу, а вот это полезная инфа
да, optional .flatMap { it.member } .map { it }
так такая конструкция просто при интерпретации в ифы превращается
как и монада ;) или ты думаешь проц умеет лифтить значения в монаду?
Я 20 минут назад первый раз в жизни услышал слово монада
так это ты с программистами не общался
небольшая тайна, последовательный код это тоже монада 😬
ну это частный случай монады. другой частный случай - листы во многих языках (в том числе шарп) ещё один частный случай - Promise из js. кароче да, они везде, и это очень интересно всё изучать.
Связный список - это монада?
https://stackoverflow.com/questions/36396622/verification-of-linkedlist-monad-in-haskell
короче, если это эндофунктор и выполняются 3 закона моноида о leftIdentity, rightIdentity и ассоциативность, то это монада. т.е. если объект с дженериком категории А обладает методом, который возвращает себя же, но с дженериком категории B и делает это правильно (соблюдаются законы), то это монада.
Обсуждают сегодня