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

関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次 1-新

509(1): 2024/10/04(金)23:04 ID:tixO3LDq(20/22) AAS
βη簡約するとλ項が別の簡約されたλ項になる。この対応関係を数学的関数とみなせると言ってると解釈してる。