[Haskell-cafe] Re: Debugging partial functions by the rules

Lennart Augustsson lennart at augustsson.net
Fri Nov 17 08:21:05 EST 2006


On Nov 17, 2006, at 07:30 , Henning Thielemann wrote:

> It seems to me like the discussion about static typesafety vs. no  
> or weak
> typesafety. (Which still exists with respect to several Haskell
> libraries.) Of course, all type errors can be catched also by a  
> debugger.
> So was the decision of making Haskell statically type-safe only  
> made in
> order to be freed of writing a debugger? Certainly not, because type
> checks can catch errors early and precisely, that is, better than any
> debugger. That's also true for DEPRECATE fromJust.  Give the user a  
> hint
> early, that his decision of using fromJust is shortsighted and is  
> possibly
> due to unfortunate program design.
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list