SOSML:使用TypeScript编写的标准ML在线解释器
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提出的派生形
文件大小：299.65KB
评论区