3 ms·
This might sound odd, but lately I haven't noticed any bugs I've introduced to production that were type errors. Inevitably my code will produce results of the
by true_religion 11y ago
This might sound odd, but lately I haven't noticed any bugs I've introduced to production that were type errors.
Inevitably my code will produce results of the right type, but have a logical error that makes either the answer flat out wrong or more or less inaccurate based on our cloud requirements.
- codygman 11y agoYou can encode logic into types making what were previous runtime logic errors compile time errors.
- Veedrac 11y agoYou can in some languages, but it's not so easy with dynamic, surface-level type checks.
- alextgordon 11y agoAh but type annotations allow tools like QuickCheck to exist, so you can automatically catch those logic errors too!