История изменений
Исправление buddhist, (текущая версия) :
Монады нужны только в строго статически-типизированных языках с выводом типов для того, чтобы можно было выводить типы функций и их композиций при условии наличия побочных эффектов.
Исходная версия buddhist, :
Монады нужны только в строго статически-типизированных языках с выводом типов.