[Haskell-cafe] Alternative name for return

[Dag Odenhall]

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 |)?


On Thu, Aug 15, 2013 at 11:08 AM, Erik Hesselink <hesselink at gmail.com>wrote:

> On Thu, Aug 15, 2013 at 5:39 AM, Jason Dagit <dagitj at gmail.com> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130815/43e54601/attachment.htm>