Algograph started as a feature-parity visual version of Koka. Koka gave me a glimpse of what a system programming language could be like. The OS would have pluggable syscalls/API as effects, and the user application’s type information shows its required system APIs. If case you don’t already know, an OS with pluggable API already exist (see Genode OS).

But I was envision something bigger, an OS that allows humans to operate on data as easy as preparing food, slicing algorithms like cutting vegetables. I want to create a refactoring table. Well, that is out of the scope of this article so I’ll stop rambling here.

Even if the algebraic effect-grammar is labeled as “extension”, it was finalized earlier than the basic grammar about lambda calculus.