Arrows to arrows, categories to queries (2025)

Arrows to Arrows, Categories to Queries ← → October 14, 2025 haskell, category theory, programming, catlang I’ve had a little time off of work as of late, and been spending it in characteristically unwise ways. In particular, I’ve written a little programming language that compiles to SQL. I call it catlang. That’s not to say that I’ve written a new query language. It’s a programming language, whose compiler spits out one giant SELECT statement. When you run that query in postgres, you