3 ms·

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 wor

by augustl 13y 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".

runT1ME 13y 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. :-)