4 ms·
"I am a great programmer and I choose static type systems because I demand sharp tools." I strive to build correct software, and I leverage a static type syste
by aklein 13y ago
"I am a great programmer and I choose static type systems because I demand sharp tools."
I strive to build correct software, and I leverage a static type system to enforce the absence of incorrect program behavior. Any other benefits are just niceties.
- ajanuary 13y ago* to enforce the absence of certain classes of incorrect program behaviour