コンテンツにスキップ

ノート:型付きラムダ計算

ページのコンテンツが他言語でサポートされていません。
  • 型付きのラムダ式はただの構文で、domとかcodomに集合論的な意味を最初に与えるのはおかしいと思います。型名も変数名もただの記号としてあるべきではないですか?元の記事が読みにくいのは確かですが。 --Kik会話2013年12月21日 (土) 12:14 (UTC)[返信]