Программист написал язык catlang, который компилируется в один гигантский SQL-запрос
Arrows to arrows, categories to queries (2025)
Автор провёл отпуск за созданием catlang — эзотерического языка, чей компилятор превращает программу в один огромный SELECT для Postgres. Промежуточное представление построено на абстрактной теории категорий: стрелки, дистрибутивность, сопроизведения. В статье показан пример функции, вычисляющей 100 через цикл, и её чудовищный SQL-код. Цель — не новый query language, а полигон для проверки категориальных идей и десугаризации стрелок.
Это не значит, что я написал новый язык запросов. Это язык программирования, компилятор которого выдаёт один гигантский оператор SELECT.