This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(Note to the reader: Sections marked with < VG: ... > are notes inserted by me | |
(Varun), not from the original author. I'm just taking notes here to understand | |
better what exactly the person wants, and trying to analyse how the different | |
"requirements" are at odds with each other.) | |
The question was asked why I (as a programmer who prefers dynamic languages) don't consider static types "worth it". Here | |
is a short list of what I would need from a type system for it to be truely useful to me: | |
< VG: This is dangerous to some extent (if you use it everywhere). History | |
has shown that while people (e.g. ML/Haskell users) were initially interested |