CUE (+1)

Configuration, data validation, and code generation via lattice unification.

Trit: +1 (PLUS - generative type lattice) Language: Go Branch: master

Core Insight: Values ARE Types

// In CUE, every value is also a type constraint
name: string        // type constraint
name: "alice"       // concrete value IS a subtype

// Unification: greatest lower bound
a: {x: int, y: string}
b: {x: 1, z: bool}
c: a & b  // → {x: 1, y: string, z: bool}