к
дело не в том, чтобы все в точности имплементировали интерфейc, а в том, чтобы это как-то использовали вообще
Size: a a a
2018 September 25
AP
А монада - это эндофунктор ведь? Как тогда в одной цепочке использовать разные монады?
к
монада это тройка
к
из эндофунктора и двух семейств морфизмов
k
монада это тройка
*бурито
к
Maybe - не монада
(Maybe, of, join) where
of = Just
join (Just (Just x)) = Just x
join _ = Nothing
вот это - монада
join/of/Maybe при этом существуют сами по себе и не зная ничего про монадность, монадность мы используем, когда подставляем эту тройку в код, который требует какую-то любую монаду, до этого момента это просто использование Maybe и функций для него
(Maybe, of, join) where
of = Just
join (Just (Just x)) = Just x
join _ = Nothing
вот это - монада
join/of/Maybe при этом существуют сами по себе и не зная ничего про монадность, монадность мы используем, когда подставляем эту тройку в код, который требует какую-то любую монаду, до этого момента это просто использование Maybe и функций для него
AP
В js тогда вообще не возможно применение монадности. В haskell мы когда описываем тип функции, эта аннотация применяется потом для вывода типов на этапе компиляции.
Если продолжить твой пример, то можно сделать что-то типа
getMaybe:: a -> Maybe a
getMaybe = of
Если составлять более сложно выражение, то дергая один of можно получать разные монады. Так?
Если продолжить твой пример, то можно сделать что-то типа
getMaybe:: a -> Maybe a
getMaybe = of
Если составлять более сложно выражение, то дергая один of можно получать разные монады. Так?
к
применять возможно, просто:
a) не сможем тайпчекать (легко)
б) большинство этого не делает, потому что не видят смысла (и потому что это больно на жс)
a) не сможем тайпчекать (легко)
б) большинство этого не делает, потому что не видят смысла (и потому что это больно на жс)
AP
надо elm или ps учить, чет грусть накатила. Все бессмысленно.
к
не надо
к
хотя я хз конечно что ты пишешь
AP
к
ну я понимаю что фронт
AP
Тянет просто к функциональщине вот и пытаюсь везде ее прикрутить.
NK
А монада - это эндофунктор ведь? Как тогда в одной цепочке использовать разные монады?
🌯
ЗП
Welcome to Theatre of Absurd
Вл
да я выходил тк меня тут очередной раз забанили