>>105903599
Recall this is a humor thread, but one option are option types (basically the same thing) but more fundamentally error conditions lay outside the range of truth functions so aren't reprehensible in logic, so a programming language could either extend bools with bottom or add a new notation for continuations to handle such error conditions (this was the case in older cpus already where any operation like arithmetic could trap or set a flag)