Я пришёл к выводу, что системы эффектов и явные монады являются разными синтаксисами для одной и той же базовой семантики. Даже с учетом ввода/вывода, ссылок на кучу и полных функций логики высшего порядка, всё в нашем языке Verse с аннотациями эффектов может быть переведено в монады Haskell.
Посмотреть Оригинал