I think you want a language where code that compiles is more likely to be correct code. Code that does not compile is only an annoyance, since it can't make its

I think you want a language where code that compiles is more likely to be correct code. Code that does not compile is only an annoyance, since it can't make its way into production.