Independently of the rant... On Sat, Apr 19, 2008 at 6:01 AM, Jonathan Cast <[EMAIL PROTECTED]> 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. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
