Spoon progress 15 April 2006: inert method deletion details etc.

Bert Freudenberg bert at impara.de
Tue Apr 18 13:42:19 UTC 2006


Am 17.04.2006 um 23:07 schrieb Chris Muller:
>
>>    I must admit (not surprisingly :) that I'm a fan of using test  
>> cases to
>> establish coverage, and improving the test cases over time. I also  
>> think
>> this is markedly different than static typing advocacy; in fact, I  
>> think
>> they're near polar opposites. The static typing people seem to  
>> want to
>> use it in large part as a hedge against testing. I think testing is
>> critical and unavoidable, and we may as well use the information  
>> we get
>> from it to the fullest. But sure, there are still pitfalls to deal  
>> with.
>
>  Well I've never met anyone even in the Java world who was really  
> serious when they said, "hey, it compiles, let's go to production..!"

Actually I have heard exactly this statement from students - "it  
compiles, so it must be right". The compiler's type checking is there  
so you can only write correct programs, right?

- Bert -




More information about the Squeak-dev mailing list