Arrows to Arrows, Categories to Queries
Summary
Arrows to Arrows, Categories to Queries introduces catlang, a programming language that compiles to a single SQL statement using category-theory-inspired constructs. The article walks through an example implementation, presents an intermediate language (IL) for arrows, and explains how various category-theory primitives map to SQL via recursion and set-based operations, with reflections on design choices and future directions.