Null as a sort of bottom
When bottoms are tagged, we may view bottom more inclusively. This could reasonably include null.
“It uses the faculty of the imagination. But that does not mean making things up. It is a form of seeing.”
“Not real traveling, then,” said Lyra, “Just pretend...”
“No,” said Xaphania, “nothing like pretend. Pretending is easy. This way is hard, but much truer.”
— Philip Pullman, The Amber Spyglass
I struggle to talk about programming languages that aren’t …
Keep reading with a 7-day free trial
Subscribe to Type Classes to keep reading this post and get 7 days of free access to the full post archives.