2 ms·
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 curi
by 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 agoIf 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.