там разве не список из данных, который интерпретируется потом? Или я что-то совсем старое читал... что-то у Гонзалеса...
В mtl - абстрактная монада, для которой надо реализовать инстанс, в фримонадах - абстрактный язык, для которого надо реализовать интерпретатор
В каких-то пределах, это изоморфизм.
На докладе Александра Коновалова так и было, кажется
Ну с точностью до того, что в алгебраических структурах не все эффекты выражаются, то да
Те что не выражаются - не нужны
Обсуждают сегодня