sky lambda:Haskell中的未类型化lambda演算 源码

天空lambda Haskell中的未类型化lambda演算 该项目希望成为无类型lambda演算的简单但灵活的实现。它还将支持“模块”,这将使编写更大的程序变得容易得多。 注意事项 这仅是一个研究项目,而不是高效的编程语言! 由于这是完全没有类型的,因此在尝试编写有意义的程序时必须非常小心! 编写不会终止的程序非常容易:评估仅在您的程序处于“弱头正常形式”时终止。 笔记 它支持逐步执行,尝试使中间步骤“可读”。 (当然)它将使用惰性评估方案 它不会尝试做任何花哨的和快速的评估! 待办事项清单 支持模块,同时保持可打印的内容