Languages Features Creators Calendar CSV Resources Blog About Pricing Add Language
GitHub icon


Koka - Programming language

< >

Koka is a programming language created in 2012 by Daan Leijen.

#463on PLDB 11Years Old 2.5kUsers
0Books 0Papers

Try now: Web · TIO

A strongly typed functional-style language with effect types and handlers.

Example from the web:
fun hello-ten() var i := 0 while { i < 10 } println("hello") i := i + 1

Keywords in Koka

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
// [0-9]+
// [0-9]+\.[0-9]+([eE][\-+]?[0-9]+)?
// 0[xX][0-9a-fA-F]+
Access Modifiers
// A comment
Line Comments //
// A comment
Print() Debugging println
Semantic Indentation X
microsoft-small-basic.html · koka.html · geojson.html

View source

- Build the next great programming language · Search · v2023 · Day 208 · Docs · Acknowledgements · Traffic · Traffic Today · Mirrors · GitHub ·