文件名称：方面：具有代数效果和处理程序的功能性编程语言
文件大小：135KB
文件格式：ZIP
更新时间：2024-02-21 07:57:07
programming-language algebraic-effects compiler CompilerHaskell
Facet：具有代数效应，定量类型理论和分阶段的按值调用功能语言 告诫：方面是相当新的，并且该文档主要是理想的。 许多事情行不通，未实现或周密考虑。 产品特点 :chart_increasing: 功能编程！ :raised_hand_light_skin_tone:严格的（按价值致电）评估顺序 al:female_sign_selector:代数效应 目标 效应是特设多态性的唯一机制； 通过效果执行的算术，比较等（因此，可以局部覆盖） 一些（理想的）默认系统 定量类型理论，尤其控制阶段和擦除处理程序的专业化和内联 汇编细粒度的增量编译 通过效果进行元编程和一般阐述者反映 通过效果简化语法 数据表示效果； peano数和nat-as-int应该可以互换 通过有效的DSL进行细化，优化和编译 非目标 省略签名变量； 我愿意完全明确（至少目前如此） 发展历程 确保您的ghc （8.10+）和cabal （3+）足够近。 我没有针对旧版本进行测试。 在macOS上，我建议ghcup 。 我几乎通过ghci所有操作，可以方便地初始化和启动它，如下所示： cabal build #