Most enterprise software delivery models were designed for a world in which code production was expensive and human effort was the scarce resource.

The compiler infers, but does not take instructions. There is no syntax for explicit type declarations yet, and the new type ...