文件名称：lilo:玩具语言项目（键入lambda演算）
文件大小：24KB
文件格式：ZIP
更新时间：2024-05-28 10:36:17
Haskell
lilo是在Haskell中实现的一系列简单的lambda演算。 我目前正在尝试使用“描述的技术来定义语言的语法表达式。 用法： > eval $ parseExpr " ( \\ x -> x) 1 " 学习日志 我正在一系列非正式的小型帖子中跟踪我的进度： 参考： 此处的许多想法和代码均受启发并直接受其启发。
【文件预览】：
lilo-master
----.gitignore(19B)
----Setup.hs(46B)
----src()
--------Parser.hs(3KB)
--------Pretty.hs(2KB)
--------Checker.hs(3KB)
--------Main.hs(67B)
--------Syntax.hs(3KB)
--------Data()
--------ALaCarte.hs(2KB)
--------Infer.hs(5KB)
--------Eval.hs(2KB)
----LICENSE(1KB)
----.gitmodules(190B)
----HLint.hs(1004B)
----README.md(1KB)
----vendor()
--------ghc-mod()
--------effects()
----script()
--------run(303B)
--------path(1KB)
----docs()
--------READING.md(445B)
--------2017-08-22-sum-types.md(5KB)
--------2017-08-18-a-lambda-calculus-is-born.md(4KB)
--------2017-08-28-hindley-milner-type-inference.md(1KB)
--------2017-08-21-implementing-pairs.md(993B)
--------2017-09-22-syntax-a-la-carte.md(4KB)
----stack.yaml(2KB)
----lilo.cabal(1KB)