Arrows to arrows, categories to queries (2025)(reasonablypolymorphic.com)
69 points by firstbase | 6 comments
Sandy Maguire's blog post introducing catlang, a small programming language with a category-theoretic IL whose compiler emits a single giant SQL SELECT query.