Koka: A Functional Language with Effects

Welcome to Koka – a strongly typed functional-style language with effect types and handlers.

Note: Koka v2 is a research language that is currently under development and not ready for production use. Nevertheless, the language is stable and the compiler implements the full specification. The main things lacking at the moment are libraries, package management, and deep IDE integration.

GH:

This thread was posted by one of our members via one of our news source trackers.

1 Like

I love effect types in languages, you can do so much with them!

OCaml might be getting effects in the future, they need to hurry up with that!

3 Likes