扫帚:一种具有一流模块和代数效果的编程语言 源码

扫帚 具有一流模块和代数效果的编程语言。 仍在进行中(即尚未使用)。 表征和计划特征 功能第一 严格评估(按价值要求) 强静态键入 参数,较高等级和强制性多态性 类型推断(但不让泛化) 模块化隐式 广义代数数据类型 ML样式的模块系统还支持递归和一流的模块 代数效应 模块和效果基于行类型 (摘要)语法 program ::= defs repl_input ::= stmts stmt ::= def | expr stmts ::= (stmt (";" stmt)*)? ";"? alts ::= (stmt ("|" stmt)*)? "|"? def ::= pat "=" ex