DDC compiler and effects; better than Haskell? (was Re: [Haskell-cafe] unsafeDestructiveAssign?)

[Conor McBride]

On 12 Aug 2009, at 20:40, Don Stewart wrote:

> bugfact:
>> Well, the point is that you still have monadic and pure programming
>> styles. It's true that applicative style programming can help here,
>> but then you have these <$> and <*> operators everywhere, which also
>> feels like boilerplate code (as you mention, some extensions could
>> help here)
>
> Overloading whitespace as application in the Identity idiom! :)

[cough!]

Conor

psst: http://personal.cis.strath.ac.uk/~conor/pub/she/idiom.html