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

#143on PLDB

12Years Old

Try now: Web · TIO

Koka language compiler and interpreter

Koka website
Koka is developed on GitHub and has 2,190 stars
Koka first developed in Microsoft Research
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

Language features