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 <hessel...@gmail.com>wrote: > On Thu, Aug 15, 2013 at 5:39 AM, Jason Dagit <dag...@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@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