Dv
Кажется, монады как раз этим и различаются — реализацией бинда? Или нет?
Size: a a a
2020 August 23
ДБ
ну в хаскеле как я понял CE (do notation) из коробки работает с Option, List, Result и бинд и мап и прочее
VK
А тайпклассы как в хаскеле будут?
В близжайшие лет 5
Dv
ну в хаскеле как я понял CE (do notation) из коробки работает с Option, List, Result и бинд и мап и прочее
Смешались в кучу конелюди: "CE (do notation)".
AH
ну в хаскеле как я понял CE (do notation) из коробки работает с Option, List, Result и бинд и мап и прочее
там требуется чтобы этот оператор был определён для типа который ты пытаешься воткнуть в do-notation
ДБ
и что бы работали твои кастомные тебе нужно написать что это Monad и реализовать вроде как базовый map и pure
AH
через тайпкласс Functor
ДБ
а хаскель вообще с хорошей екосистемой?
Dv
а хаскель вообще с хорошей екосистемой?
Вообще это вопрос для флудилки.
ДБ
окей, задам его там
IC
В итоге получится годный компилируемый нативный мультипарадигменный расширяемый язык
Это ж окамл.
I
Зачем еще одни окамль, но без модулей 🤔
Dv
Зачем еще одни окамль, но без модулей 🤔
Да ещё и с нормальным тулингом. Не поймут!
Dv
Ну, Mono уже упоминали выше несколько раз. И мне кажется, что это таки да, самый хороший вариант на текущий момент. Единственный, который можно пробовать использовать в продакшене.
VK
Ну как пробовать, весь тулчейн замарина для айос на нем
PD
А как сделать метод-расширение на дженерик тип?
PD
type 'a with
mebmer ...
не работает
Dv
type 'a with
mebmer ...
не работает
Попробуй через способ дедов.
PD
Попробуй через способ дедов.
Да, уже попробовал, и так работает. Но так не работает фшарповское расширение для пропертей, а оно тоже нужно