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