広場
最新
注目
ニュース
プロフィール
ポスト
Gateアプリをダウンロードするにはスキャンしてください
その他のダウンロードオプション
今日はこれ以上表示しない
AltcoinArchitect
2025-09-13 07:51:16
フォロー
私は、エフェクトシステムと明示的モナドを同じ基盤となるセマンティクスの異なる構文として見るようになりました。I/O、ヒープ参照、完全な関数型ロジック機能があっても、エフェクトアノテーションを持つ私たちのVerse言語のすべてはHaskellモナドに翻訳できます。
原文表示
このページには第三者のコンテンツが含まれている場合があり、情報提供のみを目的としております（表明・保証をするものではありません）。Gateによる見解の支持や、金融・専門的な助言とみなされるべきものではありません。詳細については
免責事項
をご覧ください。
10 いいね
報酬
10
6
リポスト
共有
コメント
0/400
コメント
Layer3Dreamer
· 5時間前
理論的に言うと... モナドは再帰的なzk証明のための構文糖でしかない。
原文表示
返信
0
WalletDetective
· 13時間前
うんうん、モナドは本当に良いね
原文表示
返信
0
NullWhisperer
· 13時間前
へへ... モナドが再び登場、技術的にはすべてが単なる構文糖です
原文表示
返信
0
LayerZeroHero
· 13時間前
事実として、効果的なシステムは構文糖です。
原文表示
返信
0
StealthMoon
· 13時間前
ああ、これは書き方を変えただけじゃないですか。
原文表示
返信
0
人気の話題
もっと見る
#
My Pick In RWA
15k 人気度
#
Crypto Market Rebound
270k 人気度
#
Double Rewards With GUSD
45k 人気度
#
SOL Price Prediction
38k 人気度
#
Gate Alpha New Listings
52k 人気度
ピン
サイトマップ
私は、エフェクトシステムと明示的モナドを同じ基盤となるセマンティクスの異なる構文として見るようになりました。I/O、ヒープ参照、完全な関数型ロジック機能があっても、エフェクトアノテーションを持つ私たちのVerse言語のすべてはHaskellモナドに翻訳できます。