I think the main advantage of Static-compiled-strongly-typed languages will be that it will allow the [automated] generation of comprehensive static analysis te

I think the main advantage of Static-compiled-strongly-typed languages will be that it will allow the [automated] generation of comprehensive static analysis test suites to provide specific and explicit assurances about the code. That is, for larger, more complicated software. There could be a set of static analysis tools that guarantee the correctness of the code. This would be very cheap to run and maintain.