関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
380: デフォルトの名無しさん [] 2024/09/30(月) 19:05:45.94 ID:8C0MP56i 操作的意味論とか表示的意味論でプログラムを数学の話にして、その数学を圏論で整理するって話 だからアーベル圏とか具体的な圏はあんま出てこない。 やるとすれば デカルト閉圏：ランベックがλ計算のモデルになると発見して関数型プログラミング的に重要 クライスリ圏：Moggiが計算効果をカプセル化したときの根拠の圏 ローベア理論：代数的効果をちゃんと理解するときは必要らしい。操作的意味論と表示的意味論と同じようにモナドの理論と妥当性が成り立つようだ。 ぐらいじゃね。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/380
382: デフォルトの名無しさん [] 2024/09/30(月) 21:29:13.05 ID:8C0MP56i 一般国民。 λ計算のモデルでモナド作ってなにかいいことあるの？計算効果結局表現できないんじゃ？ 拡張してcomputational lambda calculusやるって話？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/382
384: デフォルトの名無しさん [] 2024/09/30(月) 21:53:56.34 ID:8C0MP56i いいこと（メリット）があるから具体例が作られると思うんだが。 それは単に具体例の適用が間違ってるって話じゃね？ なんとなく作れるから群構造作ってみましたとかとか目的不在で作ったらそら何がいいかわからんし。 モナドだったら、各計算効果を圏（クライスリ圏）の中に閉じ込めることに成功しました（カプセル化）。 計算効果は強モナドの構造を取っているようです（計算効果の研究のとっかかり）。 みたいないいことあるから流行るんでしょ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/384
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.018s