主要观点:XATSHOME 用于托管 ATS3 和开发 CodeDepot。
关键信息:
- ATS3 是正在 ATS-Xanadu 开发的第三版。
- 有“contrib”目录,如“contrib/githwxi”,可按示例设置自用目录。
- 已发布的 ATS3 到 JS 编译器存储在“xassets/JS/xats2js/xats2js_jsemit01_ats3_opt1.js”。
- 需设置环境变量 XATSHOME 为 XATSHOME 所在目录,如“~/Research/XATSHOME”。
- 在“contrib/githwxi”目录中,可通过“node --stack-size=8000./../../xassets/JS/xats2js/xats2js_jsemit01_ats3_opt1.js mycode.dats”调用编译器,输出为 JS 代码,且需“./../../xassets/JS/xats2js/runtime/xats2js_js1emit.js”和“./../../xassets/JS/xats2js/runtime/srcgen2_prelude.js”中的代码才能运行。
- 有“contrib/githwxi/pground/proj001@250424/misc001/Makefile”可作为编译 ATS3 到 JS 的完整示例。
重要细节:详细说明了各种文件的位置和使用方法,以及环境变量的设置等。
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。