PEP-308 a "simplicity-first" alternative

[Greg Ewing (using news.cis.dfn.de)]

Michael Hudson wrote:

> Equivalent to is often <=>.  Using => to mean equivalence would be
> daft notation, even by mathematical standards.


In mathematics, "a => b" is read "a implies b".

"a <=> b" means that a and b imply each other, i.e. they
are equivalent statements.

If we wanted to bend the meaning of "=>" somehow to make
it work in a conditional expression, we would need to
say that, e.g.

    x => y else z

means something like "x being true implies the value
should be y, else it's z".

Can't say I like it much, though.

-- 
Greg Ewing, Computer Science Dept,
University of Canterbury,	
Christchurch, New Zealand
http://www.cosc.canterbury.ac.nz/~greg