[Haskell-cafe] I hate Haskell's typeclasses
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