Hacker News new | ask | show | jobs
by pydave 1408 days ago
Seatbelts don't impede my ability to drive (having to constantly manage the car keeps me in the seat). Types _do_ impede my ability to write code: I have to write more of it.

Types can certainly help prevent something from going wrong, but they're not a zero programmer time cost safety feature.

OP worded it aggressively, but if someone can't see how others benefit from lower overhead, they should look closer.