文件名称：alloy
文件大小：27KB
文件格式：ZIP
更新时间：2024-04-05 19:00:10
Haskell
合金 去做 步骤1 关闭范围包含ThunkID而不是值 算术表达式 属性集 字段访问器解析 错误： let id = x:x; x = 4 in id x let id = x:x; x = 4 in id x发散 let x = 4; in {a = x;} let x = 4; in {a = x;}给出未绑定变量， let x=4; in x let x=4; in x作品中 让绑定 语法返工 消除镜头依赖？ 第2步 找出步骤2 （！）函数调用带有大括号的语法问题，f（x）在rt和ct中具有不同的含义。 空格？ 与有关RTExprs作为值的未解决问题有关 递归 内建 运行时功能POC 修复优先级问题（ builtins.fix (self: 0)失败） 第三步 找出步骤3 递归但正确实施起来应该很容易，但是它需要将let转换成比语法糖更重要的
【文件预览】：
alloy-master
----hie.yaml(408B)
----shell.nix(650B)
----.github()
--------workflows()
----test()
--------RTTests.hs(4KB)
--------Spec.hs(307B)
--------EvalTests.hs(3KB)
--------TestLib.hs(1KB)
----demo.nix(400B)
----pkgs.nix(738B)
----LICENSE(1KB)
----app()
--------Main.hs(790B)
----src()
--------Program.hs(4KB)
--------Print.hs(6KB)
--------Parse.hs(6KB)
--------Expr.hs(2KB)
--------Lib.hs(2KB)
--------Typecheck.hs(8KB)
--------Eval.hs(16KB)
----bench()
--------Main.hs(67B)
----.gitignore(268B)
----CHANGELOG.md(59B)
----README.md(5KB)
----alloy.cabal(2KB)
----cabal.project(44B)