PEP 3107 and stronger typing (note: probably a newbie question)

[Bruno Desthuilliers]

Bjoern Schliessmann a écrit :
> Bruno Desthuilliers wrote:
>> John Nagle a écrit :
> 
>>>     Actually, static typing is for detecting errors before the
>>> program is run.
>> bruno at bibi ~ $ gcc -ototo toto.c
>> bruno at bibi ~ $ ./toto
>> Erreur de segmentation
>> bruno at bibi ~ $
>>
>> You said ?
> 
> Did he say that static typing detects all errors?

Nope, he just asserted something wrong. Static typing is for compiler 
optimization. Type checking is at most a side effect, and in some 
languages (at least C, C++ and Java) can be totally defeated (usually 
using typecasting).