SQL

Why does everyone seem happy with SQL, and its silly syntax/semantics? Why don't we have something based on typed lambda calculus? The standard answer seems to be that SQL was designed to be accessible to laypeople (i.e. like BASIC), but isn't it about time we had a standard database query language for real programmers?

(Hopefully, it would be easier to translate between query languages than between programming languages)