re: We don't need a ternary operator VIEW POST

TOP OF THREAD FULL DISCUSSION
re: You basically just replaced condition ? if_true : if_false with condition && if_true || if_false - that means that a falsy if_true will fal...
 

No, because I'm not allowing "falsey" conditions, which I consider a failure in a language. false is a distinct value from an unset optional, and true is not the same as an optional with a value.

Having hard optional semantics allows this to work. Using truthy and falsey evaluations this fails.

 

A condition can obviously be false, but I guess that's not what you meant. For the sake of this argument, let's assume that condition c is true, value x is false and y is 1; in most languages, c ? x : y would result in false, whereas c && x || y would result in 1.

If I understood you correctly, c ? false | 1 in leaf would too result in 1, thus breaking the original logic of a ternary operator.

No, c ? false | 1 would evaluate to false in Leaf. The | operator applies only to optional types, not truthy values.

code of conduct - report abuse