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