文件名称：frea:具有Damas-Hindley-Milner类型推断的简单编程语言
文件大小：55KB
文件格式：ZIP
更新时间：2024-04-23 12:03:55
programming-language repl hindley-milner type-inference damas-hindley-milner
弗雷阿 一种简单的编程语言，具有Damas-Hindley-Milner类型推断。 编译： $ stack build 运行： $ stack run 测试： $ stack test 例子： 映射列表 let list = [ 1 , 2 , 3 , 4 , 5 ] double x = ( 2 * x) map lst fn = if (nil ? lst) then [] else ((fn ( head lst)) : ( map ( tail lst) fn)) in ( map list double) 5的阶乘 let zero n = (n == 0 ) dec n = (n - 1 ) fact n = if (zero n) then 1
【文件预览】：
frea-main
----package.yaml(1KB)
----prelude.frea(872B)
----frea.cabal(3KB)
----test()
--------Spec.hs(381B)
--------ParserDeclSpec.hs(1KB)
--------ParserSpec.hs(5KB)
--------InferenceSpec.hs(2KB)
--------EvalSpec.hs(855B)
----module.frea(2KB)
----stack.yaml(33B)
----LICENSE(1KB)
----app()
--------Main.hs(6KB)
----src()
--------Compiler()
--------Interpreter()
----Setup.hs(46B)
----examples()
--------basic.frea(1KB)
----.gitignore(15B)
----stack.yaml.lock(447B)
----README.md(6KB)
----ChangeLog.md(44B)