[clean-list] Clean in the Real World

Tomasz Zielonka t.zielonka@students.mimuw.edu.pl
Mon, 5 Jan 2004 17:20:16 +0100


On Mon, Jan 05, 2004 at 04:51:42PM +0100, Ronny Wichers Schreur wrote:
> 
> >After some getting used to it, Monads are a pleasure to work with.
> >If there is anything in Haskell that gets in my way, it ain't Monads.
> 
> I don't think that Marco's objection is that monads are difficult to
> use, but rather that their inappropriate use can lead to inelegant
> programs.

On the other hand, they can lead to very elegant programs. IO is not the
only monad. You can write purely functional code using monads. They can
reduce the complexity of code - for example take monadic parser
combinators.

I know you can design a non-monadic parser combinator library, but
monadic parsers are really nice when you have syntactic sugar for them.
What's more, there are many useful functions working with monads in
general and you can use many design patterns with all monads.

> Same for uniqueness typing.

Same for all programming language features.

> Cheers,
> 
> Ronny Wichers Schreur

Best regards,
Tom

-- 
.signature: Too many levels of symbolic links