On: What I Want from a Type System (2016)

[javajosh]

>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.