Я прийшов до думки, що системи ефектів і явні монади — це різні синтакси для однієї й тієї ж базової семантики. Навіть з I/O, посиланнями на купу та повними функціональними логічними функціями, все в нашій мові Verse з анотаціями ефектів може бути переведено в монади Haskell.
Переглянути оригінал