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!
[ Parent
| on HN ]
There are no comments on this comment yet.