文件名称：SOSML:使用TypeScript编写的标准ML在线解释器
文件大小：300KB
文件格式：ZIP
更新时间：2024-05-20 04:14:32
typescript interpreter sml TypeScript
SOSML：标准ML的在线解释器 SOSML是使用TypeScript编写的功能编程语言Standard ML（SML）的在线解释器。 SOSML在萨尔大学的新生中使用。 您可以在进行检查。 特征 正确地词法分析，细化和解释任何SML核心语言程序，即可能包含以下构造的程序： 支持的声明（部分支持的斜体声明） 值声明（ val x = 42; ） 函数声明（ fun f 0 = 42 | fx = f (x-1); ） 类型别名声明（ type t = 'a -> (int * int) ） 数据类型声明（ datatype tree = T of tree list; ） 不支持withtype 。 抽象数据类型声明（ abstype tree = T of tree list with val empty = T []; ）请注意， abstype是作为继承者ML提出的派生形
【文件预览】：
SOSML-main
----.gitignore(311B)
----tsconfig.json(735B)
----README.md(7KB)
----.github()
--------workflows()
--------ISSUE_TEMPLATE()
----webpack.cli.js(620B)
----test()
--------simplify.ts(15KB)
--------squids.ts(27KB)
--------types.ts(9KB)
--------test_helper.ts(4KB)
--------parser.ts(159KB)
--------lexer.ts(31KB)
--------exhaustiveness.ts(8KB)
--------evaluate.ts(16KB)
--------test_examples.ts(422KB)
----LICENSE(34KB)
----package.json(2KB)
----tslint.json(3KB)
----src()
--------initialState.ts(31KB)
--------errors.ts(3KB)
--------types.ts(51KB)
--------parser.ts(92KB)
--------lexer.ts(21KB)
--------evaluator.ts(2KB)
--------stdlib.ts(7KB)
--------expressions.ts(115KB)
--------stdlib()
--------state.ts(46KB)
--------main.ts(9KB)
--------declarations.ts(62KB)
--------modules.ts(64KB)
--------values.ts(29KB)
--------tokens.ts(6KB)
--------cli.ts(3KB)
----webpack.dev.js(533B)
----webpack.prod.js(618B)
----webpack.config.js(78B)
----package-lock.json(561KB)