【文件属性】：
文件名称：扫帚：一种具有一流模块和代数效果的编程语言
文件大小：298KB
文件格式：ZIP
更新时间：2021-02-16 04:45:37
language modules effects StandardML
扫帚
具有一流模块和代数效果的编程语言。 仍在进行中（即尚未使用）。
表征和计划特征
功能第一
严格评估（按价值要求）
强静态键入
参数，较高等级和强制性多态性
类型推断（但不让泛化）
模块化隐式
广义代数数据类型
ML样式的模块系统还支持递归和一流的模块
代数效应
模块和效果基于行类型
（摘要）语法
program ::= defs
repl_input ::= stmts
stmt ::= def | expr
stmts ::= (stmt (";" stmt)*)? ";"?
alts ::= (stmt ("|" stmt)*)? "|"?
def ::= pat "=" expr
defs ::= (def (";" def)*)? ";"?
exprs ::= types ::= (expr ("," expr)*)? ","?
expr ::=
pat ::=
typ