CQL: Categorical Databases

Post by solumunus » Wed, Jun 03, 2026, 11:15 AM UTC

da_chicken wrote: post #39

cmrdporcupine wrote: post #17

Earlier quoted context omitted.

This just exposes how weak this definition of declarative is, I think. Or how it's carrying two meanings here. What you're really talking about is one of the things Codd wanted to emphasize: representational independence. Which actually was the primary thrust of his famous paper: the user should not need to know how the data is stored in order to use or manipulate it. The other thing that people are talking about wit…

I would say it exposes how imperative programming was forced to adopt declarative/functional paradigms in order to write things concisely, to the extent that nobody thinks those elements are declarative/functional anymore.

Post by snthpy » Thu, Jun 04, 2026, 5:03 AM UTC

joshsh wrote: post #37

If this sort of thing is interesting to you -- using type theory and category theory to add compositionality to programming and databases -- also check out CQL's cousin, the graph programming language Hydra: https://github.com/CategoricalData/hydra .