Sample Programs in Every Language
A Collection of Code Snippets in as Many Programming Languages as Possible
This project is maintained by TheRenegadeCoder
The Koka Programming Language
Published on 09 November 2018 (Updated: 15 May 2023)
Welcome to the Koka page! Here, you'll find a description of the language as well as a list of sample programs in that language.
This article was written by:
- Jeremy Grifski
- Ron Zuckerman
Description
Koka is a function-oriented programming language created by Microsoft researcher Daan Leijen. Leijan created Koka to separate pure values from side-effecting computations. According to Wikipedia, a function or expression is said to have a side effect if it modifies some state outside of its local environment.
In addition, Koka has many features that help programmers easily change their data types and code organization correctly while having a small language core with a familiar JavaScript-like syntax.
Fun Fact: the word 'Koka' (or 効果) means "effect" or "effective" in Japanese.