関数型プログラミング言語Haskell Part34 (675ﾚｽ)

関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

380: デフォルトの名無しさん [] 2024/09/30(月) 19:05:45.94 ID:8C0MP56i 操作的意味論とか表示的意味論でプログラムを数学の話にして、その数学を圏論で整理するって話 だからアーベル圏とか具体的な圏はあんま出てこない。 やるとすれば デカルト閉圏：ランベックがλ計算のモデルになると発見して関数型プログラミング的に重要 クライスリ圏：Moggiが計算効果をカプセル化したときの根拠の圏 ローベア理論：代数的効果をちゃんと理解するときは必要らしい。操作的意味論と表示的意味論と同じようにモナドの理論と妥当性が成り立つようだ。 ぐらいじゃね。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/380

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 295 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.008s