не-алгебраическими эффектами? В частности почему с catch какие-то сложности.
Я понял что вот есть алгебраические эффекты, вот они по разному обобщаются. Но в чем изначальный прикол делать эффекты алгебраическим не понимаю.
Монады и алг.эффекты предоставляют подходящую синтаксическую структуру для представления того что можно, что нельзя и как делать с вычислительными эффектами. Монады часто критикуют за то, что те недостаточно структурированные, то есть потому что они в общем случае не композируются. Алгебраические эфыекты гораздо более структурированны. Между монадами и алг.эффектами разница в коммутативности. Алг.эффекты строго менее мощные, чем могады, в частности, через них нельзя выразить монаду Cont.
хорошая статья
алгебраические эффекты могут композиться, а работать в связке некорректно
Пытался читать. Ладно, попытаюсь еще, думал что-то попроще есть.
а что тебе в той статье осталось непонятно?
Обсуждают сегодня