Subject: benefits of type checking
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Thu Mar 29 2001 - 14:25:03 PST
I am probably the last to observe this, but the typechecker is helping me
a lot. What I noticed is that it forces me to insert a lot of runtime
checks in places where I need to narrow the type. And that makes me be a
lot more concious about error reporting.
PS. I am not bragging about my typechecker, but about the very idea to
perform type checking.
Vass
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Thu Mar 29 2001 - 14:26:05 PST