Qoppa

From Esolang
Jump to navigation Jump to search

Qoppa is a Scheme-like language designed by User:Kmc as a proof-of-concept which eliminates syntactic special forms. It is based around operatives, a lexically-scoped version of fexprs. Every syntactic form is either a variable name or an application of an operative to zero or more operands. There is a built-in operative vau which is used in a manner similar to lambda to construct other operatives.

External resources

Qoppa was heavily inspired by Kernel.

The original blog post contains a detailed description of the language along with an implementation in Scheme. The interpreter is equipped with a standard library which implements enough Scheme primitives to run the interpreter itself.

There is another implementation using PyPy.

Qoppa was also implemented as part of a research paper on debuggers.