What if null was an Object in Java?

Re:What if null was an Object in Java? by kbolino on Sunday April 28, 2024 @12:33PM (#40189764)

Not avoided altogether. Static checkers cannot possibly follow all code paths, and they generally err on the side of false negatives rather than risking too many false positives causing people to disable them.

[ Parent | on HN ]

Re:What if null was an Object in Java? by dexwiz on Sunday April 28, 2024 @12:58PM (#40189958)

I wasn’t aware they preferred type II errors. That makes sense, but I don’t really expect tools like that to work across modules.

[ Parent | on HN ]

Re:What if null was an Object in Java? by kbolino on Sunday April 28, 2024 @01:12PM (#40190060)

It depends on the specific tool and how it's configured. But that has been my experience with many tools configured with their recommended settings.

[ Parent | on HN ]