Constructive
Constructive is the consultancy behind Fixed. It works with platform teams on type-driven architecture: fewer representable states, fewer bugs, and capabilities in place of premature data structures.
Fixed is that argument taken to the level of a whole language. Programs declare the capabilities they need; the compiler, not the programmer, picks the representation.