[Haskell-cafe] Alternative name for return

[Nikolaos Bezirgiannis]

Dag Odenhall <dag.odenhall at gmail.com> 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-haskell-enhancement.html


She already does lifting of binary operators, AFAIK.

Cheers


>
>
> 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
>
>
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe