Koka 是面向函数的编程语言，从 side-effectiong 计算中分离纯值，自动推断每个函数的影响。Koka 包括大量的特性来帮助编程者修改他们的数据类型和代码组织，包含一个小的语言核心，类似于 JavaScript 的语法。
The Koka project trIEs to see if effect Inference can be used on larger scale programming. The language is strict (as in ML), but sepeRATes pure values from side effecting computations (as in Haskell). Through the effect types, there is also a strong conNECtion to its denotational semantics, where the effect type of each Function has a direct translation to the type signature of the denotational function.