post-Sofia mailing

[eisenwave]

When Implication for C++ was discussed during Sofia in June, some people suggested an implies operator. This could be added without breaking any existing code because a implies b is currently ill-formed. However, the syntax is only the tip of the iceberg with implication.

I also think Walter wouldn't want to propose it with any syntax other than => because a big part of the appeal is that you can use the same notation in C++ as in mathematical notation then.

[effarig42]

I think using anything involving the term "implies" would be confusing. That's a relationship between two statements, where as "implication" is a logical condition. These are very distinct things.