Implies operator

[Georg Wrede]

Mariano wrote:
> == Quote from antonio (antonio at abrevia.net)'s article
> 
>>Kristian Kilpi wrote:
>>
>>>Now when I think about it, I have to say that 'x implies y' is a lot
>>>easier to understand than '!x || y'.
> 
> Yeap, it only takes a minute or two to get use to it.
> 
>>antonio wrote:
>>The most common example is the null check...
> 
> Yes, both -> and <- could be used.

Implication is no harder to implement in software than bitwise and logic 
operators, which have been around from the start of computing languages. 
Likewise, they have been implemented in hardware right from the start.

Computers have existed for the last half century. New architectures and 
new programming languages have been under development, by the best of 
minds, every single day of this time.

Now, since implication is not a genuine part of any significant 
programming language, or any well-known processor architecture, doesn't 
that make you wonder?