文件名称：lambda:用Scala编写的无类型lambda演算解释器
文件大小：1.72MB
文件格式：ZIP
更新时间：2024-06-04 15:42:16
parser lambda scala interpreter calculus
拉姆达 用Scala编写的无类型lambda演算解释器 关于 该解释器是用Scala编写的，是使用SBT构建系统构建的。 它解释了无类型的lambda演算表达式，并显示了解决该表达式所采取的每个中间步骤。 都显示了alpha转换和beta减少。 对于beta缩减，使用了Normal-Order Reduction （最左侧和最外侧）将表达式简化为Beta-Normal形式。 另外，为了保存表达式结果并能够在将来的表达式中使用它们，实现了一个符号表。 因此，解释器中实现了动态符号解析。 使用的基本CFG如下： EXPRESSION := ( EXPRESSION ) | VARIABLE | lambda VARIABLE . EXPRESSION | EXPRESSION EXPRESSIO
【文件预览】：
lambda-master
----.travis.yml(33B)
----docs()
--------images()
----src()
--------test()
--------main()
----build.sbt(283B)
----LICENSE.md(1KB)
----.gitignore(29B)
----lib()
--------jline-2.9.0-1.jar(155KB)
----README.md(7KB)