The author developed catlang, a programming language that compiles to SQL via an intermediate category theory representation. The language uses abstract category theory constructs as its core semantics and can compile functions (like a while-loop counter) into PostgreSQL SELECT statements.
Background
Catlang is an experimental programming language by the Reasonably Polymorphic blog author that demonstrates how category theory constructs can serve as a practical compilation target, with SQL as the runtime substrate.
- Source
- Lobsters
- Published
- Nov 4, 2026 at 11:49 PM
- Score
- 6.0 / 10