4 ms·
practically all modern strongly typed languages are adopting or already had type inference from day one, allowing you to do things like var. They give up nothin
by dalyons 4y ago
practically all modern strongly typed languages are adopting or already had type inference from day one, allowing you to do things like var. They give up nothing in terms of strong typing to do so. Forcing people to write manual boilerplate does not equal professional, what a strange take.
- bottled_poe 4y agoThe engineering trade-offs are paid somewhere, better in an objective space than a subjective one.
- dalyons 4y agoi dont know what you mean by this? Fundamentally, this is a story of technology getting better (type inference in compilers) so humans can do less work. We're not pushing the work to some other human place. We're not losing anything in safety, and we're gaining in readability, boilerplate and expressiveness. Its progress!