Hacker News new | ask | show | jobs
by augustl 4547 days ago
Interesting insights. Would love to read more aobut this. Usually the arguments are "I'm a bad programmer like everyone else so I need verification" or "the world is dynamic".
1 comments
runT1ME 4547 days ago
The good arguments for static typing are much different than "I'm a bad programmer".

Google "Theorems for free". One of the most life-altering CS papers I've read. :-)

link