3 ms·
And my code is actually not "bug-aversive", I do make a lot of trivial mistakes all of the time. And I'm glad when the type checker catches them. I'm in this c
by jddj 7y ago
And my code is actually not "bug-aversive", I do make a lot of trivial mistakes all of the time. And I'm glad when the type checker catches them.
I'm in this camp too. I love strong static types because I know I'm not particularly obsessive about fine details and can sometimes be sloppy in that respect. Compilers pick up the slack where my attention to detail falls short.
- hyperpallium 7y agoI make a lot of silly mistakes too. But because I understand the code (I'm careful there, bug-aversive), the cause is (almost always) instantly obvious. Though this undermines the thesis.