Very good summary of why static types are so useful, and when they're not so much...

BTW, Java has a framework called Manifold that provides type-safe SQL just like the author wants, with IDE support and everything:

https://github.com/manifold-systems/manifold/blob/master/man...