"The Koka project tries to see if effect inference can be used on larger scale programming. The language is strict (as in ML), but seperates pure values from side effecting computations (as in Haskell). Through the effect types, there is also a strong connection to its denotational semantics, where the effect type of each function has a direct translation to the type signature of the denotational function.
Recently, Koka fully supports user-defined effects through algebraic effect handlers."

Website | Research | Github | Book | Library docs | Tutorial, live-coding environment | Lang.Next slides

Koka: a functional language with effects. Koka is a strongly typed functional-style language with effect types and handlers.

Tags: language   research  

Last modified 24 May 2024