Search Results
7/20/2025, 6:26:07 PM
7/14/2025, 5:57:52 PM
>>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)
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)
Page 1