Re:Idris 2 0.6.0 is now available for the JVM
by freilanzer on Monday February 27, 2023 @09:21AM
(#34956679)
Null for me is a null pointer, and thus there's a difference. Anyway, if that's all you want than Haskell, etc. definitely handle that case.
[ Parent
| on HN ]
Re:Idris 2 0.6.0 is now available for the JVM
by nerdponx on Monday February 27, 2023 @09:49AM
(#34957046)
The word "null" means "missing value" in e.g. SQL and most data science / analytics contexts. It's unfortunately an overloaded term with two different meaning. Conflating the two things is where we get the egregious mistake of using null pointers to represent null data!