Yes, you can write a contract language (or improve an existing one) which contains static checks. That hasn't been implemented yet probably because of lack of r

Yes, you can write a contract language (or improve an existing one) which contains static checks. That hasn't been implemented yet probably because of lack of resources. The higher level contract language is compiled down to byte code. You can in addition implement these safety checks to be executed during runtime, but that costs money.