News for hackers. Stuff that matters.

A comment on Typing Is Hard. Parent comment

Re:Typing Is Hard by islon on Wednesday February 17, 2021 @04:56AM (#26164672)
> reasoning about null is trivial in comparison

So trivial that its creator called it the "billion dollar mistake" and if I had $1 for every NPE I saw in production I'd be a rich man.

[ Parent | on HN ]
Re:Typing Is Hard by username90 on Wednesday February 17, 2021 @05:28AM (#26164849)
When you have a hammer everything looks like a nail. A language theorist trying to fix issues will of course look at changing the language first, doesn't mean he is right.
[ Parent | on HN ]
Re:Typing Is Hard by aw1621107 on Wednesday February 17, 2021 @02:24PM (#26170363)
What, then, might be a better solution than making nullability explicit in the type system?
[ Parent | on HN ]