琥珀色 免责声明 这个项目是一个正在进行的工作，说实话，目前是一团糟。 我在业余时间到处都在研究它，并且并行地进行一些设计和实现，所以这是特别的。 该项目在一段时间内可能不会处于良好的使用或贡献状态。 概述 Umber是一种ML样式的功能编程语言。 它以OCaml为模型，并进行了一些改进，包括： 代数效应，用于在类型级别跟踪功能副作用，同时在创建自定义控制流时也提供了便利和灵活性 更好地支持具有特征的即席多态性 在源代码和标准库的String类型中正确处理unicode 在文件/文件夹级别支