This has nothing to do with functional vs imperative programming, of course functional programs also want to encode the absence of things. The billion dollar m

This has nothing to do with functional vs imperative programming, of course functional programs also want to encode the absence of things. The billion dollar mistake is about not being able to say that a type (specifically a reference/pointer) does not include NULL/nil/whatever as an element.