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

John A. De Goes john at n-brain.net
Thu Aug 13 09:31:57 EDT 2009

On Aug 13, 2009, at 4:09 AM, Alberto G. Corona wrote:

> Maybe, in Haskell, the coarse IO monad can be divided in smaller  
> monads as well

I don't even want to imagine how that would obfuscate otherwise  
"straightforward" looking monadic code.

The root problem is that monads don't capture enough information on  
the nature of effects, which limits composability. What's needed is  
something richer, which gives the compiler enough information to do  
all those things that make life easy for the developer, whilst  
maximizing the performance of the application. DDC is an interesting  
experiment in that direction.


John A. De Goes
N-Brain, Inc.
The Evolution of Collaboration

http://www.n-brain.net    |    877-376-2724 x 101

More information about the Haskell-Cafe mailing list