エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
型付ラムダ計算 - 白のカピバラの逆極限 S.144-3
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
型付ラムダ計算 - 白のカピバラの逆極限 S.144-3
http://d.hatena.ne.jp/nuc/20051003/p1 に (f, g) (a, b) = (f a, g b) となるべきだと書いた。ようす... http://d.hatena.ne.jp/nuc/20051003/p1 に (f, g) (a, b) = (f a, g b) となるべきだと書いた。ようするに、圏論の積ですよね。 それを拡張して http://d.hatena.ne.jp/nuc/20060424/p4 で、データ型を定義するときに、何を食ったときには何、のようなことになっていても問題はない。 3 f = f.f.f とか。楽しそうではないか。 で、今日問題点に気がついて、それは型が付けられるならば計算が止まるというのが成り立たなくなるところにある気がした。 しかし、haskell でも、どうせ型が拡張されていて整理治していないんだからいいじゃないのと。 それと型がつけられるかということがどうも正則性公理と関わっている気がして、この公理ってないほうが楽しくないかな。 追記:2006/06/08くるるの数学ノート 正