GitHub - githwxi/XATSHOME:用于托管 ATS3 和开发 CodeDepot

主要观点: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 的完整示例。
    重要细节:详细说明了各种文件的位置和使用方法,以及环境变量的设置等。
阅读 13
0 条评论