>Having the types of every variable written explicitly in the code In fairness this sort of data is metadata that can be added at tooling time - there's no nee

>Having the types of every variable written explicitly in the code In fairness this sort of data is metadata that can be added at tooling time - there's no need to place it in the source itself.