【文件属性】：
文件名称：方面：具有代数效果和处理程序的功能性编程语言
文件大小：135KB
文件格式：ZIP
更新时间：2021-01-31 14:10:27
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 #