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

[Lennart Augustsson]

Exactly!

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