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.
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.
Fun Fact: the word ‘Koka’ (or 効果) means “effect” or “effective” in Japanese.