История изменений
Исправление dizza, (текущая версия) :
Не, тут есть принципиальное отличие, получается программирование через еще одну прослойку. Например вместо императивной программы ты пишешь чистую функцию, которая возвращает императивную программу (монаду), при чём семантика этой программы четко задается типами. Ты как бы собираешь из готовых типов мини-язык и пишешь на нем.
Исходная версия dizza, :
Не, тут есть принципиальное отличие, получается программирование через её одну прослойку. Например вместо императивной программы ты пишешь чистую функцию, которая возвращает императивную программу (монаду), при чём семантика этой программы четко задается типами. Ты как бы собираешь из готовых типов мини-язык и пишешь на нем.