Koka - Programming language

home terminal edit

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

#195on PLDB

12Years Old

Download source code:

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

Homepage · REPL · Try It Online · Source Code

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

Tags: programming language
Koka is developed on GitHub and has 3,178 stars
Early development of Koka happened in Microsoft
Koka compiles to C
Koka is written in Haskell, C, XML, JavaScript, Markdown, JSON, Bourne shell, C++, C#, OCaml, CMake, Dockerfile, Swift, SVG, Java, TypeScript, Lean, Vim script, CSS, YAML, Lex, Yacc, Logos, Tex, Python, Lisp, HTML, sed, Less, CSON
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

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	X