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