[Haskell-cafe] arrow notation

Ross Paterson ross at soi.city.ac.uk
Fri Feb 8 02:41:29 CET 2013


On Thu, Feb 07, 2013 at 02:49:40PM -0800, Conal Elliott wrote:
> I make some use of arrow notation, though sadly I often have to avoid
> it because my (pseudo-)"arrows" don't have arr. I'd love to see a
> variant that has restricted expressiveness in exchange for arr-freeness.

It's hard to imagine arrow notation without arr (or at least
contravariance in the first argument of the "arrow") because forming
expressions using the local environment is so central to it.  That is,
I can't imagine what things you are trying to write in that situation.



More information about the Haskell-Cafe mailing list