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

Ah alright, since I don't know what that is I will attribute it to my own lack of knowledge then.

Basically, the Excluded Middle is for things neither True nor False.

	▲	legacynl 19 hours ago \| parent [-]
		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