GitHub - koka-lang/koka: Koka language compiler and interpreter
Koka: a Functional Language with Effects Koka v2 is a research language that currently under heavy development with the new C backend Latest release: v2.1.9, 2021-06-23 (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, and effect handlers. Each of these is composable and avoid the addition...
Source: github.com