我將效果系統與顯式單子視爲相同底層語義的不同語法。即使是 I/O、堆引用和完整的函數邏輯特性,我們的 Verse 語言中的效果注釋都可以轉換爲 Haskell 單子。

查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 6
  • 轉發
  • 分享
留言
0/400
Layer3梦想家vip
· 21小時前
理論上來說……單子只是遞歸 zk 證明的語法糖
查看原文回復0
Wallet_Detectivevip
· 09-13 08:21
嗯哼 monad真香
回復0
NullWhisperervip
· 09-13 08:15
呵... 單子又來了,從技術上講,這只是語法糖。
查看原文回復0
LayerZeroHerovip
· 09-13 08:09
事實證明效果系統就是語法糖
查看原文回復0
StealthMoonvip
· 09-13 08:06
哦 這不就是換個寫法嗎
查看原文回復0
交易,隨時隨地
qrCode
掃碼下載 Gate App
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)