3 ms·
> By suppressing easy-to-detect errors and passing through only the hard-to-detect errors, rigid type enforcement can actually make it more difficult to find an
by codesections 5y ago
> By suppressing easy-to-detect errors and passing through only the hard-to-detect errors, rigid type enforcement can actually make it more difficult to find and fix bugs.
I don't follow the logic here. If a more rigid type system produces an error, wouldn't that surface the error, not suppress it? What am I missing?
- zepolen 5y agoAuthor is talking about data errors vs type errors. Data errors will always pass through regardless if it's invalid. Eg. an application bug that overflowed the int will still be happily accepted into an integer typed column even with a check contraint value > 0. In the ANYTHING case you would have something like -205 in there instead. For what it's worth I don't really agree with this post at all though.