Koka @ rise4fun from MicrosoftKoka is a function-oriented programming language that separates pure values from side-effecting computations. Koka has many features that help programmers to easily change their data types and code organization correctly, while having a small language core with a familiar JavaScript like syntax.
