Very logical, and a very elegant way to deal with nullability, Hoare's so-called "billion-dollar…

The type Nothing? is perfect for representing the null type. Remember, Nothing has zero possible values. Adding a question mark allows the single additional null value. So the nullable type Nothing? has exactly one possible value: null.
Short Circuits, Bottom Types and the Vacuous Boomerang
284
7
Sam Cooper
Tom Ritchford
·Follow
Feb 18, 2023
--
Very logical, and a very elegant way to deal with nullability, Hoare's so-called "billion-dollar mistake".
--
--
Written by Tom Ritchford1.5K Followers
·392 Following
uk->at->ca->us->nl
No responses yet
Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams