3 ms·

Types are the closest thing to a free lunch that exists in this fallen world. Yes they're not perfect because nothing is, but their cost/benefit is astonishingl

by lmm 9mo ago

Types are the closest thing to a free lunch that exists in this fallen world. Yes they're not perfect because nothing is, but their cost/benefit is astonishingly good.

noosphr 9mo ago
A shoe five sizes too small is very comfortable for someone who cut off his toes.
- lmm 9mo ago
  It would be a mistake to conclude that this means shoes are pointless or there's no such thing as a shoe that fits well.
  - noosphr 9mo ago
    Indeed, there are other invariants to type systems that are much better than cutting off your toes.
antonvs 9mo ago
> Types are the closest thing to a free lunch that exists in this fallen world. Chef's kiss