The compiler infers, but does not take instructions. There is no syntax for explicit type declarations yet, and the new type ...
Most enterprise software delivery models were designed for a world in which code production was expensive and human effort was the scarce resource.