[Haskell-cafe] I hate Haskell's typeclasses

David MacIver david.maciver at gmail.com
Sat Apr 19 08:02:12 EDT 2008

Independently of the rant...

On Sat, Apr 19, 2008 at 6:01 AM, Jonathan Cast
<jonathanccast at fastmail.fm> wrote:
> > But why do I need to jump through these hoops for a perfectly safe &
> > commonly desired operation?
> >
>  It's called a proof obligation.  Haskell is not here to stop you from
> jumping through hoops.  In fact, it is here precisely to force you to jump
> through hoops.  That's why it's called a bondage and discipline language.

Surely it's there to lovingly assist you through the hoops? You can't
just force people not to do the wrong thing and expect to get a good
statically typed language out of it - you have to make it easier for
them to do the right thing.

More information about the Haskell-Cafe mailing list