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