3 ms·

This concept doesn't require the Law of Excluded Middle that classical boolean values do.

• legacynl 1y ago
  Ah alright, since I don't know what that is I will attribute it to my own lack of knowledge then.
  • IAmBroom 1y ago
    Basically, the Excluded Middle is for things neither True nor False.
    • legacynl 1y ago
      Yeah okay I get it. The law basically states that 'not true' should be 'false' and vice versa. I still don't get what's the use of this, or is this just a curiosity? It seems like the result is just a kind of ternary operator? Doesn't this still just compile to if(x.present) return x else y? Just with really obtuse syntax
      • deleted 1y ago
        [deleted]
      • stonemetal12 1y ago
        If you are doing proofs then the law of the excluded middle creates paradoxes. "this statement is false" is a paradox with the law but isn't without the law. In a programming language not used for proofs? Then yeah it is just for fun.
    • deleted 1y ago
      [deleted]