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.
- 2021-02-14: Koka v2.0.16 released.
- 2020-12-12: Koka v2.0.14 released.
- 2020-12-02: Koka v2.0.12 released.
- 2020-11-29: Perceus technical report publised (pdf).
For Linux and macOS on x86 64-bit, you can install Koka using:
> curl -sSL https://github.com/koka-lang/koka/releases/latest/download/install.sh | sh
This also installs syntax highlighting for the VS Code and Atom editors.
_ _ ____
| | | | |__ \
| | __ ___ | | __ __ _ __) |
| |/ // _ \| |/ // _' || ___/ welcome to the koka interpreter
| <| (_) | <| (_| ||____| version 2.0.10, Nov 28 2020, libc 64-bit (gcc)
|_|\_\\___/|_|\_\\__,_| type :? for help
:q to exit the interpreter.
For detailed instructions and other platforms (including Windows) see the releases page.
It is also straightforward to build the compiler from source.
Running the compiler
A tour of the Koka language