関数型プログラミング言語Haskell Part34 (692レス)
1-

510: デフォルトの名無しさん [sage] 2024/10/04(金) 23:12:30.87 ID:WSIC8Xt5(13/14) AAS
>>509
509(1): デフォルトの名無しさん [] 2024/10/04(金) 23:04:12.66 ID:tixO3LDq(20/22) AAS
βη簡約するとλ項が別の簡約されたλ項になる。この対応関係を数学的関数とみなせると言ってると解釈してる。
みなせるって何?
ようするにラムダ項は関数じゃないってことでしょ当たり前だけど
1-
あと 182 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.013s