4 ms·
In most programming languages the boolean operation 'or' is actually 'xor'. But in type system the disjunction concept represents 'either', the concepts are mo
by namelosw 7y ago
In most programming languages the boolean operation 'or' is actually 'xor'.
But in type system the disjunction concept represents 'either', the concepts are more like how people refer to 'or'.
- dragonwriter 7y ago> In most programming languages the boolean operation 'or' is actually 'xor'. I can't think of any where that's true; logical “and” and “or” are usually exactly what they claim to be, and many languages implement both as short-circuiting operators, whereas XOR can't short circuit because you can never know the result without considering both arguments.