Koka: A Functional Programming Language for Effectful Programs
A brief introduction to the project:
Koka is a functional programming language developed by Daan Leijen and his team at Microsoft Research. It is designed to provide an expressive and efficient programming model for writing effectful programs. With its strong static type system and powerful type inference capabilities, Koka aims