News for hackers. Stuff that matters.

A comment on The Advantages of Flexible Typing.

Re:The Advantages of Flexible Typing by codesections on Sunday September 05, 2021 @07:54AM (#28423605)
> 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?

[ Parent | on HN ]
Re:The Advantages of Flexible Typing by zepolen on Sunday September 05, 2021 @09:16AM (#28424121)
Author 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.

[ Parent | on HN ]