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

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

関数型プログラミング言語Haskell Part34 - 暇つぶし2ch509:デフォルトの名無しさん
24/10/04 23:04:12.66 tixO3LDq.net
βη簡約するとλ項が別の簡約されたλ項になる。この対応関係を数学的関数とみなせると言ってると解釈してる。