My compiler cannot type check SQL code, so I need to run SQL to check it correctness. It's the same problem as with JavaScript, Python, Perl, shell, etc.

For JavaScript, the problem is solved (partially) with TypeScript.