On Mon, Dec 28, 2009 at 12:44:31PM +0100, Konrad Hinsen wrote:

>> This fact is realized even in haskell community:
>> http://lambda-the-ultimate.org/node/2749#comment-41078
>
>That article is about monad transformers, not monads themselves. BTW,
>monad transformers are simpler in Clojure than they are in Haskell
>(they are ordinary functions), so some arguments in that thread don't
>apply to the same degree.

Well, they still end up mostly as just functions in Haskell, with lots
of extra wrapping and unwrapping to get the type system to work.

The advantage in Haskell, is that 'lift' and friends (liftIO) figure
out at compile time how many invocations are needed to get to the
right monad.

My biggest complaint about the monad transformers was that they make
the program design fragile.  Having to make small changes to what
monads were used tended to have a pervasive effect on the rest of the
code.  Much of this had to do with type declarations, so this might
not be as much of an issue with Clojure.

David

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en

Reply via email to