【文件属性】：
文件名称：slang:Sireum编程语言（S语）
文件大小：269KB
文件格式：ZIP
更新时间：2021-04-03 05:13:16
Scala
Sireum编程语言（S语）
amd64：mac，linux，windows
Maven软件包存储库
该存储库包含前端组件（即，解析器，符号解析器和类型检查器）。
测验
macOS / Linux
bin/build.cmd test
视窗
bin\build.cmd test
通过test将构建Slang运行时库和前端，然后使用结果来解析，解析和键入检查代码库本身。 在进行类型检查之后，它将序列化代码库AST与符号和类型信息一起进行序列化，然后反序列化它们，并在反序列化之前/之后对其进行等效性检查。
上面的代码在JVM下运行Slang前端测试套件； 在上述之后在Node.js下运行它（警告：它慢很多）：
macOS / Linux
export NODEJS_MAX_HEAP=4096 # MB
bin/build.cmd test-js
视窗
set NODEJS_M
【文件预览】：
slang-master
----frontend()
--------shared()
----syntax.txt(12KB)
----.gitattributes(156B)
----Slang.sc(4KB)
----build.sc(3KB)
----.github()
--------workflows()
----ast()
--------shared()
----syntax-notes.md(3KB)
----parser()
--------shared()
----tipe()
--------shared()
----.gitignore(264B)
----readme.md(1KB)
----bin()
--------init.sh(449B)
--------init.bat(66B)
--------init.ps1(162B)
--------project.cmd(2KB)
--------build.cmd(6KB)