Chapter 6
Absence & Nothing
Most languages make a mess of “nothing” — null and undefined, values that lie about their type, holes that detonate at runtime. Ascent keeps it honest: one absent value, None, that a type has to admit before it can hold it — plus Done, the value every statement hands back, and the two small words that keep nothing explicit: void for deliberate discards and ?? for defaults.