> it is the most dense language in essential complexity I know QUEL is more dense for equivalent functionality: replace users (preference = "blue") where

> 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.*