PLDB
Languages Features Calendar CSV Lists Blog About Donate Add Language
GitHub icon

Koka

< >

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

#465on 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
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
geojson.html · koka.html · argdown.html

View source

PLDB - Build the next great programming language · v2023 · Day 153 · Docs · Build · Acknowledgements · Traffic Today · Traffic Trends · Mirrors · GitHub · feedback@pldb.com