Type Classes

Type Classes

Share this post

Type Classes
Type Classes
Null as a sort of bottom

Null as a sort of bottom

When bottoms are tagged, we may view bottom more inclusively. This could reasonably include null.

Chris Martin's avatar
Chris Martin
Apr 29, 2017
∙ Paid
1

Share this post

Type Classes
Type Classes
Null as a sort of bottom
Share

“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.

Already a paid subscriber? Sign in
© 2025 Mission Valley Software LLC
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture

Share