Koka v3 is a research language that is currently under development and not quite ready for production use. Latest release: v3.1.2, 2024-05-30 (Install). Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types,