I assume this will be due to (1) development tools indicating to the developer that a model will not compile, (2) the abstraction levels being such that the mistakes we as developers make in our code today being nonexistant - we will have other problems to fix, and (3) the conceptual gap that exists today between code and the actual business model being reduced.