[Web Feed] Koka is a strongly typed functional-style language with effect types and hand...

..lers.The core of Koka consists of a small set of well-studied



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 of “special” extensions by being as general as possible.

-
Koka tracks the (side) _effects_ of every function in its type, where pure and effectful computations are distinguished. The precise effect typing gives Koka _rock-solid semantics_ backed by well-studied category theory, which makes Koka particularly easy to reason about for both humans and compilers.

-
_Effect handlers_ let you define advanced control abstractions, like exceptions, async/await, or probabilistic programs, as a user library in a typed and composable way.

-

koka-lang.github.io/koka/doc/book.html#why-perceus: Perceus is an advanced compilation method for reference counting. Together with 
www.microsoft.com/en-us/research/uploads/prod/2020/07/evidently.pdf: evidence translation, this lets Koka compile directly to C code _without needing a garbage collector or runtime system_. Perceus also performs 
koka-lang.github.io/koka/doc/book.html#why-fbip: reuse analysis and optimizes functional-style programs to use in-place updates when possible.





Image 1




Link 1


GitHub - koka-lang/koka: Koka language compiler and interpreter: https://github.com/koka-lang/koka