関数型プログラミング言語Haskell Part34

関数型プログラミング言語Haskell Part34at TECH

関数型プログラミング言語Haskell Part34 - 暇つぶし2ch489:デフォルトの名無しさん
24/10/04 21:39:59.29 WSIC8Xt5.net
>>484
意味不明すぎる
ラムダ計算は数学的に正当化されてるだろ
例えば合流性があるとか数学的に証明されてる
これのどこに非数学的要素があるんだって言ってるんだよ
すでに数学的な説明がされてるものに対して、数学的に正当化されてないとか言うのやめろよ

次ページ

続きを表示

1を表示