ホーム
おまかせ表示
付近
ログイン
設定
寄付
ウィキペディアについて
免責事項
検索
ノート
:
型付きラムダ計算
言語
ウォッチリストに追加
編集
最新のコメント:
10 年前
| 投稿者:Kik
型付きのラムダ式はただの構文で、domとかcodomに集合論的な意味を最初に与えるのはおかしいと思います。型名も変数名もただの記号としてあるべきではないですか?元の記事が読みにくいのは確かですが。 --
Kik
(
会話
)
2013年12月21日 (土) 12:14 (UTC)
返信
話題追加
ページ「型付きラムダ計算」に戻る。