[Haskell-cafe] Alternative name for return

[Anton Nikishaev]

Simon Peyton-Jones <simonpj at microsoft.com> writes:

> |  Indeed, I wished the 0-ary case would be more alike to the unary
> |  and binary case, cf.
> |  
> |     return f0
> |     f1 <$> a1
> |     f2 <$> a1 <*> a2
> |  
> |  What is needed is a nice syntax for "idiom brackets".
>
> Indeed.  I'm quite open to adding idiom brackets to GHC, if everyone
> can agree on their syntax, and someone would like to offer a patch.
>
> Something like
> 	(| f a1 a2 |)
> perhaps?

I can make a patch after people agree on everything.

There's also http://hackage.haskell.org/package/applicative-quoters with
its template haskell nastiness

h> :m +Control.Applicative.QQ.Idiom
h> :set -XQuasiQuotes
h> [i| (,) "THX" "BYE" |]
[('T','B'),('T','Y'),('T','E'),('H','B'),('H','Y'),('H','E'),('X','B'),('X','Y'),('X','E')]



-- 
lelf