19 Apr
2008
19 Apr
'08
8:02 a.m.
Independently of the rant...
On Sat, Apr 19, 2008 at 6:01 AM, Jonathan Cast
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.