GitHub - koka-lang/koka: Koka language compiler and interpreter

Koka: a Functional Language with Effects
Koka v2 is a research language that currently under heavy development with the new C backend
Latest release: v2.1.9, 2021-06-23 (Install).
Koka is a strongly typed functional-style language with effect types and handlers.
The core of Koka consists of a small set of well-studied language features, like first-class functions,
a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is
composable and avoid the addition of “special” extensions by being as general as possible.
Koka tracks the (side)
effects of every
function in its type, where pure and effectful computations are

Related Keywords

New York ,United States ,Japan ,Paris ,France General ,France ,Alex Reinking ,Niki Vazou ,Ningning Xie ,Anton Lorenzen ,Ralf Hinze ,Sam Lindley ,Philipp Schuster ,Dana Xu ,Ross Tate ,Tom Schrijvers ,Nicolas Wu ,Jonathan Brachth ,Daniel Hillerstr ,Daan Leijen ,Steven Fontanella ,Microsoft Research ,International Conference On Functional Programming ,International Haskell Symposium ,International Workshop On Type ,Functional Language ,Edsko De Vries ,Visual Studio ,Visual Studio Code ,Microsoft Visual ,International Workshop ,Type Driven Development ,Row Polymorphic Effect Types ,Mathematically Structured Functional Programming ,Algebraic Effects ,Directed Compilation ,Row Typed Algebraic Effects ,Programming Languages ,Functional Programming ,Haskell Symposium ,Leonardo De Moura ,Garbage Free Reference Counting ,Evidence Passing ,புதியது யார்க் ,ஒன்றுபட்டது மாநிலங்களில் ,ஜப்பான் ,பாரிஸ் ,பிரான்ஸ் ,சாம் லிண்ட்லி ,பிலிப் ஸ்கஸ்டர் ,ரோஸ் டேட் ,நிக்கோலாஸ் வு ,மைக்ரோசாஃப்ட் ஆராய்ச்சி ,சர்வதேச மாநாடு ஆன் செயல்பாட்டு ப்ரோக்ராமிஂக் ,செயல்பாட்டு மொழி ,காட்சி ஸ்டுடியோ ,காட்சி ஸ்டுடியோ குறியீடு ,மைக்ரோசாஃப்ட் காட்சி ,சர்வதேச பணிமனை ,வகை இயக்கப்படுகிறது வளர்ச்சி ,ப்ரோக்ராமிஂக் மொழிகள் ,செயல்பாட்டு ப்ரோக்ராமிஂக் ,லியோனார்டோ டி ம Ou ரா ,