4 ms·
It's not really correct to say that there are only 2 binary boolean operators, && and ||. There are also two really important ones, == and !=. They just so happ
by slaymaker1907 3y ago
It's not really correct to say that there are only 2 binary boolean operators, && and ||. There are also two really important ones, == and !=. They just so happen to not just be boolean operators and I guess they have slightly different behavior if your "booleans" can be more than 1 or 0.
- jenadine 3y agoThere is also <, >, <=, and >=. Funnily, <= has the same truth table as the proposed => (as they mention in section 6.1)
- not2b 3y agoThey are interested in short-circuiting, so only &&, ||, and ? do that. They would want to avoid the evaluation of b() in a() => b() if a() is false. But !a() || b() does that. So it seems that the proposal isn't needed. a implies b should just be written !a || b.