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

Koka

Koka

Koka is a pl created in 2012 by Daan Leijen.

#446on PLDB 10Years 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 Example Token
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 ϴ
vrml.html · koka.html · geojson.html

View source

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