Un lenguaje de programación que compila a un único y monstruoso SELECT de SQL
Arrows to arrows, categories to queries (2025)
Sandy Maguire creó catlang, un lenguaje cuyo compilador traduce todo el programa a una sola sentencia SELECT de postgres. Su lenguaje intermedio está construido sobre teoría de categorías abstracta: operadores como ⨟, △ y ▽ con semántica algebraica simple. Al definir transformaciones desde ese lenguaje intermedio hacia otros dominios, compilar a objetivos extraños se vuelve trivial. El resultado es un SQL recursivo, ilegible y fascinante.
No es que haya escrito un nuevo lenguaje de consulta. Es un lenguaje de programación cuyo compilador escupe una única y gigantesca sentencia SELECT.