News for hackers. Stuff that matters.
Re:What I Want from a Type System (2016) by javajosh on Monday July 01, 2019 @02:39PM (#20328362)
>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.

There are no comments on this comment yet.