Top 1,000 Features Creators Resources Extensions Blog Explorer CSV Download
GitHub icon


< >

Koka is an open source programming language created in 2012 by Daan Leijen.

#194on PLDB 12Years Old
Download source code:
git clone

Try now: Web ยท TIO

Koka language compiler and interpreter

Example from the web:
fun hello-ten() var i := 0 while { i < 10 } println("hello") i := i + 1
infix infixr infixl type cotype rectype alias struct con fun function val var external if then else elif return match private public private module import as include inline rec try yield enum interface instance

Language features

Feature Supported Token Example
Integers โœ“
// [0-9]+
Floats โœ“
// [0-9]+\.[0-9]+([eE][\-+]?[0-9]+)?
Hexadecimals โœ“
// 0[xX][0-9a-fA-F]+
Conditionals โœ“
Access Modifiers โœ“
Functions โœ“
Comments โœ“
// A comment
Line Comments โœ“ //
// A comment
Print() Debugging โœ“ println
Semantic Indentation X

View source

- Build the next great programming language ยท About ยท Acknowledgements ยท Published by Breck's Lab