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

Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • 6
  • Репост
  • Поделиться
комментарий
0/400
Layer3Dreamervip
· 4ч назад
теоретически говоря... монады - это просто синтаксический сахар для рекурсивных zk доказательств
Посмотреть ОригиналОтветить0
WalletDetectivevip
· 11ч назад
Угу, монад действительно классная
Посмотреть ОригиналОтветить0
NullWhisperervip
· 11ч назад
хех... монады снова атакуют, технически это всего лишь синтаксический сахар
Посмотреть ОригиналОтветить0
LayerZeroHerovip
· 11ч назад
На практике эффект системы — это синтаксический сахар.
Посмотреть ОригиналОтветить0
StealthMoonvip
· 11ч назад
О, разве это не просто другой способ написания?
Посмотреть ОригиналОтветить0
  • Закрепить