
1 Jul
2013
1 Jul
'13
6:27 a.m.
Edward Kmett
writes:
If you really want to hunt for unused syntax and we wind up needing a (.) analogue then (->) is currently a reserved operator, so opening it up for use at the term level could be made to work, and there is a precedent with c/c++ pointer dereferencing.
Imagine this possible code: foo :: Maybe Foo -> Bar foo (fromMaybe def -> x) = \x -> case x of Foo x -> x->y->z I think it might get a bit ugly to give it a 5th meaning. -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net