08/01/26 13:07:21
λ計算はβ変換で簡約していくのに対して
Lisp、Schemeは都度実際に計算していくので
λとは違うみたいだね。
Lispでλ式をλ計算どおりに簡約化していくものを作ったら面白いかも。
08/01/26 13:07:21
λ計算はβ変換で簡約していくのに対して
Lisp、Schemeは都度実際に計算していくので
λとは違うみたいだね。
Lispでλ式をλ計算どおりに簡約化していくものを作ったら面白いかも。
08/01/26 13:07:21
λ計算はβ変換で簡約していくのに対して
Lisp、Schemeは都度実際に計算していくので
λとは違うみたいだね。
Lispでλ式をλ計算どおりに簡約化していくものを作ったら面白いかも。