Я пришёл к выводу, что системы эффектов и явные монады являются разными синтаксисами для одной и той же базовой семантики. Даже с учетом ввода/вывода, ссылок на кучу и полных функций логики высшего порядка, всё в нашем языке Verse с аннотациями эффектов может быть переведено в монады Haskell.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
10 Лайков
Награда
10
6
Репост
Поделиться
комментарий
0/400
Layer3Dreamer
· 4ч назад
теоретически говоря... монады - это просто синтаксический сахар для рекурсивных zk доказательств
Посмотреть ОригиналОтветить0
WalletDetective
· 11ч назад
Угу, монад действительно классная
Посмотреть ОригиналОтветить0
NullWhisperer
· 11ч назад
хех... монады снова атакуют, технически это всего лишь синтаксический сахар
Посмотреть ОригиналОтветить0
LayerZeroHero
· 11ч назад
На практике эффект системы — это синтаксический сахар.
Я пришёл к выводу, что системы эффектов и явные монады являются разными синтаксисами для одной и той же базовой семантики. Даже с учетом ввода/вывода, ссылок на кучу и полных функций логики высшего порядка, всё в нашем языке Verse с аннотациями эффектов может быть переведено в монады Haskell.