Cabra

A programming language in the genre of esolang by Chris Pressey, Cat's Eye Technologies, Oct 30, 2007

Esowiki: Cabra

Cabra is a (somewhat) formal programming language whose programs form an algebraical dioid (an idempotent semiring), modulo the equivalence relation of "computes the same function", under the operations of parallel execution (as the additive operator) and sequential composition (as the multiplicative operator).

Sample Program

(SET 1 + SET 2) * IFSET 1 THEN (IFSET 2 THEN SET 3 ELSE SKIP) ELSE SKIP

Computational Class

known not Turing-complete

Programming Paradigms

Defined by

cabra.hs in the Cabra distribution

Influences

Implementations