Vireo Combinator

Pairing/tuple constructor. Holds two values and applies them to a function (Church pair).

export const Vireo = (x: Fn) => (y: Fn) => (z: Fn) => z(x)(y);
export const V = Vireo;
export const Pair = V;

const pair = Vireo(5)(10);
const add = (x: number) => (y: number) => x + y;
pair(add); // 15
pair(Kestrel); // 5 (first element)
pair(Kite); // 10 (second element)

Turing Combinator

Visitor Pattern

Docs

computer-science.dev

Title here

Vireo Combinator