Consistency of reserved operators and bang patterns
Twan van Laarhoven
twanvl at gmail.com
Fri Sep 7 15:20:08 EDT 2007
The bang pattern proposal  still allows (!) to be used as an
operator. I think there should be no difference in this regard between !
and ~, since they are used in exactly the same location.
In my opinion the best thing would be to allow (~) and (@) as operators.
With the same restriction on definition as (!), i.e. they must be
defined in function style, not as an operator.
The change to the syntax would be to remove @ and ~ from the reserved
operators list ,
reservedop -> .. | : | :: | = | \ | | | <- | -> | @ | ~ | =>
reservedop -> .. | : | :: | = | \ | | | <- | -> | =>
Oh, and while we are at it, I think (:) should also be removed as a
reservedop, there is no reason for it to be on that list.
 Bang Patterns, Haskell-prime wiki
 Haskell 98 report, lexical structure, identifiers and operators
More information about the Haskell-prime