You'll note that the language in question is designed with an emphasis on guaranteeing program correctness in certain respects. You should also be aware that E

You'll note that the language in question is designed with an emphasis on guaranteeing program correctness in certain respects. You should also be aware that Ethereum Classic did not implement the DAO hack fork and continues to be used, and that this language should work just as well there. Not to say that this language is known to not have important bugs (idk), but, y'know, it is definitely work towards contract safety.