korrents

korrents · piece

Literature review on the benefits of static types

Dan Luu · 7 Nov 2014 · danluu.com

5 korrents from this piece

Dan Luu did not write this page.

Every claim below was made in this piece, quoted word for word and numbered in the order the piece makes them, so you can read it there rather than take our word for it. The sentence above each quote is our reading of the claim, not their wording. Each quote was checked against a stored copy of the page at build time; where the two differ, the quote is the fact.

  1. The summary of the summary is that most studies find very small effects, if any.
  2. So the intermediate result appears to not be that TypeScript is reliable, but that projects mis-identified as TypeScript are reliable.
  3. But while I like languages with expressive type systems, I haven't noticed that they make me more productive or less bug prone
  4. It's true that controlled studies only tell you something about a very limited set of circumstances, but the fix to that isn't to dismiss them, but to fund more studies.
  5. Maybe, but if the strongest statement you can make for your position is that there's no empirical evidence against the position, that's not much of a position.