Koka

home terminal code edit

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

Source code:

git clone https://github.com/koka-lang/koka

#449on PLDB

12Years Old

Try now: Web · TIO

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

Koka website
Koka is developed on GitHub and has 2,190 stars
Koka first developed in Microsoft Research
file extensions for Koka include kk and kki
Koka compiles to C
Koka is written in Haskell
Pygments supports syntax highlighting for Koka
Read more about Koka on the web: 1.

Example from the web:

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

Koka Keywords

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

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

Koka - Programming language

Language features