文件名称：lambda:无类型的lambda演算解释器
文件大小：105KB
文件格式：ZIP
更新时间：2024-05-27 07:29:25
Haskell
拉姆达 无类型的lambda演算解释器 在ghci中运行 $ ghci > :l Lambda Lambda> main 要使用ghcjs编译并使用Node.js运行，请执行以下操作： $ ghcjs -o lambda Lambda $ node lambda.jsexe/all.js 抽象器是克拉符号^因此标识函数是(^xx)可选）不带括号。 除退格键外，没有行编辑。 会话示例： lambda term? mul four four -> ^f x.f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f x))))))))))))))) lambda term? exp zero five -> one lambda term? add (mul two three) one -> ^f
【文件预览】：
lambda-master
----Combinators.hs(3KB)
----variables.lam(1KB)
----lambda-calculus.pdf(247KB)
----Parsers.hs(4KB)
----Lambda.hs(12KB)
----README.md(632B)