Re: [Haskell-cafe] Alternative name for return

Dag Odenhall writes:

I particularly like she's (her?) syntax for Alternative. Not sure whether or not Idris has that. Applicative tuples would be nice too, something like (|a,b,c|) translating to liftA3 (,,) a b c. And operators too, liftA2 (+) a b as (| a + b |)?

I patched she and did applicative tuples. Check my recent blog post on it: http://blog.bezirg.net/posts/2013-08-03-enhancement-to-the-strathclyde-haske... She already does lifting of binary operators, AFAIK. Cheers

On Thu, Aug 15, 2013 at 11:08 AM, Erik Hesselink

...

wrote:

On Thu, Aug 15, 2013 at 5:39 AM, Jason Dagit wrote: > Also, if anyone wants to look at prior art first, Idris supports applicative > brackets.

As does she [0].

Erik

[0] https://personal.cis.strath.ac.uk/conor.mcbride/pub/she/ idiom.html

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe