If you want static checks it needs to be done separately from the main language. What I find is that a good ide or editor is capable of doing this for a string

If you want static checks it needs to be done separately from the main language. What I find is that a good ide or editor is capable of doing this for a string if you tell it what that string is. Static checks are not a reason to create a whole new abstraction over a language. As I said it's a sign that new features are needed as an extension. In terms of type safety for SQL I find certain ides already cover most of this so even a typescript style extension on top of SQL is not needed.