Koka:一种具有效果的功能语言 Koka v2是一种研究语言,目前正在使用新的C后端进行大量开发最新版本:v2.0.14,2020-12-11()。 Koka是一种具有效果类型和处理程序的强类型函数式语言。 Koka的核心包括一小组经过深入研究的语言功能,例如一流的功能,多态类型和效果系统,代数数据类型以及效果处理程序。 这些中的每一个都是可组合的,并且通过尽可能通用来避免添加“特殊”扩展名。 科卡跟踪其类型,其中纯和effectful计算被区分的每个函数的(侧)的影响。 精确的效果键入为Koka提供了扎实的语义,并得到了经过深入研究的类别理论的支持,这使得Koka对于人类和编译器而言