我将效果系统与显式单子视为相同底层语义的不同语法。即使是 I/O、堆引用和完整的函数逻辑特性,我们的 Verse 语言中的效果注释都可以转换为 Haskell 单子。

查看原文
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 Gate 认可其观点表述,也不得被视为财务或专业建议。详见声明
  • 赞赏
  • 6
  • 转发
  • 分享
评论
0/400
Layer3梦想家vip
· 3小时前
理论上来说……单子只是递归 zk 证明的语法糖
查看原文回复0
Wallet_Detectivevip
· 11小时前
嗯哼 monad真香
回复0
NullWhisperervip
· 11小时前
呵... 单子又来了,从技术上讲,这只是语法糖。
查看原文回复0
LayerZeroHerovip
· 11小时前
事实证明效果系统就是语法糖
回复0
StealthMoonvip
· 11小时前
哦 这不就是换个写法吗
回复0
交易,随时随地
qrCode
扫码下载 Gate App
社群列表
简体中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)