ML
Вариант с фри монадами имеет достаточно большой набор проблем.
Начиная от производительности (даже в хаскеле, где ещё можно попробовать его оптимизировать) и заканчивая композабельностью, где при объединении двух эффектов придется городить специалист тип их объединяющий
Начиная от производительности (даже в хаскеле, где ещё можно попробовать его оптимизировать) и заканчивая композабельностью, где при объединении двух эффектов придется городить специалист тип их объединяющий
есть же энкодинги без потери производительности
