方面:具有代数效果和处理程序的功能性编程语言 源码

Facet:具有代数效应,定量类型理论和分阶段的按值调用功能语言 告诫:方面是相当新的,并且该文档主要是理想的。 许多事情行不通,未实现或周密考虑。 产品特点 :chart_increasing: 功能编程! :raised_hand_light_skin_tone:严格的(按价值致电)评估顺序 al‍:female_sign_selector:代数效应 目标 效应是特设多态性的唯一机制; 通过效果执行的算术,比较等(因此,可以局部覆盖) 一些(理想的)默认系统 定量类型理论,尤其控制阶段和擦除处理程序的专业化和内联 汇编细粒度的增量编译 通过效果进行元编程和一般阐述者反映 通过效果简化语