Dag Odenhall <[email protected]> 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 <[email protected] >> wrote: > > On Thu, Aug 15, 2013 at 5:39 AM, Jason Dagit <[email protected]> > 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 > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > > > > > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
