Hacker News new | ask | show | jobs
by saagarjha 2214 days ago
It's fairly common across languages: https://en.wikipedia.org/wiki/Option_type