My haskell library beam[1] does just that. It'll catch scoping errors, aggregation errors, and more, through the type system. I'm implementing support for recur

My haskell library beam[1] does just that. It'll catch scoping errors, aggregation errors, and more, through the type system. I'm implementing support for recursive queries right now! Also, for the record, SQL is a strongly typed, declarative language, even if it doesn't seem that way. [1] (http://tathougies.github.io/beam/ http://tathougies.github.io/beam/)