文件名称：slang:Sireum编程语言（S语）
文件大小：269KB
文件格式：ZIP
更新时间：2024-04-22 22:59:56
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)