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
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
