История изменений
Исправление theNamelessOne, (текущая версия) :
Спустя много лет, наконец-то вышла версия OCaml с эффектами
В последнее время много слышу про алгебраические эффекты, много новых языков появляется с first-class поддержкой, даже MS какой-то research-язык запилили. Даже в не функциональные ЯП пилят либы с какой-то поддержкой эффектов.
Вроде бы эффекты могут заменить монады/монадные трансформеры, а можно ли выразить эффекты средствами монад?
Исправление theNamelessOne, :
Спустя много лет, наконец-то вышла версия OCaml с эффектами
В последнее время много слышу про алгебраические эффекты, много новых языков появляется с first-class поддержкой, даже MS какой-то research-язык запилили. Вроде бы эффекты могут заменить монады/монадные трансформеры, а можно ли выразить эффекты средствами монад?
Исходная версия theNamelessOne, :
Спустя много лет, наконец-то вышла версия OCaml с эффектами
В последнее время много слышу про алгебраические эффекты, много новых языков появляется first-class поддержкой, даже MS какой-то research-язык запилили. Вроде бы эффекты могут заменить монады/монадные трансформеры, а можно ли выразить эффекты средствами монад?