News for hackers. Stuff that matters.

A comment on Typing Is Hard. Parent comment

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 ]