文件名称：sky-lambda:Haskell中的未类型化lambda演算
文件大小：11KB
文件格式：ZIP
更新时间：2024-04-08 01:46:01
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)