> it is the most dense language in essential complexity I know
QUEL is more dense for equivalent functionality:
replace users (preference = "blue") where id = 123
Not to mention that it actually adheres to relational calculus, unlike the wild and reckless SQL.
> * type checking
It is only dynamically typed, though, which isn't all that useful. There is good reason why we are seeing static type systems being bolted on to most dynamically typed languages these days (e.g. Typescript). SQL would do well to add the same, but it seems it is seen as a sacred cow that cannot be touched, so I won't hold my breath.*
I use to write complex SQL query very usually, and I can say that it's far more concise than imperative code.
Compared to it's own semantics, SQL is actually verbose, but its semantics is so powerful that you gain size.
Please share how many lines of sql it will take to statistically normalize multiple columns. Or even something simple like null cleaning columns based on dynamic thresholds.
The verbosity of SQL makes it unwieldy to maintain for pipelines.