PEP 3107 and stronger typing (note: probably a newbie question)
bruno.42.desthuilliers at wtf.websiteburo.oops.com
Thu Jun 28 17:38:09 CEST 2007
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
More information about the Python-list