【文件属性】：
文件名称：sky-lambda:Haskell中的未类型化lambda演算
文件大小：11KB
文件格式：ZIP
更新时间：2021-03-19 07:59:21
Haskell
天空lambda
Haskell中的未类型化lambda演算
该项目希望成为无类型lambda演算的简单但灵活的实现。它还将支持“模块”，这将使编写更大的程序变得容易得多。
注意事项
这仅是一个研究项目，而不是高效的编程语言！
由于这是完全没有类型的，因此在尝试编写有意义的程序时必须非常小心！
编写不会终止的程序非常容易：评估仅在您的程序处于“弱头正常形式”时终止。
笔记
它支持逐步执行，尝试使中间步骤“可读”。
（当然）它将使用惰性评估方案
它不会尝试做任何花哨的和快速的评估！
待办事项清单
支持模块，同时保持可打印的内容
【文件预览】：
sky-lambda-master
----package.yaml(2KB)
----test()
--------Spec.hs(63B)
----stack.yaml(2KB)
----LICENSE(1KB)
----app()
--------Main.hs(917B)
----src()
--------Sky()
----sky-lambda.cabal(2KB)
----.gitignore(179B)
----stack.yaml.lock(1KB)
----README.md(837B)