3 ms·
I think of it in programming language terms. The syntax 'A => B' is just a mechanical rule, which is macro-expanded into: if A then B else true where A
by sriram_malhar 9y ago
I think of it in programming language terms.
The syntax 'A => B' is just a mechanical rule, which is macro-expanded into:
if A then
B
else
true
where A and B are both bools, and the 'if..else' is an expression, not a statement. It evaluates to B when A is true, otherwise it returns true.