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

Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.