История изменений
Исправление hateyoufeel, (текущая версия) :
Вроде бы эффекты могут заменить монады/монадные трансформеры, а можно ли выразить эффекты средствами монад?
Да. Собственно, в хачкелле через монады их и запилили. Сначала через free и freer, а сейчас просто через особую магию. Посмотрю библиотеку polysemy, это сейчас самая модная реализация эффектов.
Даже в не функциональные ЯП пилят либы с какой-то поддержкой эффектов.
Это ментальный онанизм. Без мощной статической типизации это не имеет особого смысла. Одна из основных фишек эффектов как раз в том, что в типе функции содержится подробный список исполняемых ею побочных эффектов, к которым можно при вызове снаружи менять интерпретаторы. Представь call/CC из лишпа, только на стероидах.
Исходная версия hateyoufeel, :
Вроде бы эффекты могут заменить монады/монадные трансформеры, а можно ли выразить эффекты средствами монад?
Да. Собственно, в хачкелле через монады их и запилили. Сначала через free и freer, а сейчас просто через особую магию. Посмотрю библиотеку polysemy, это сейчас самая модная реализация эффектов.