Bjoern Schliessmann a écrit : > Bruno Desthuilliers wrote: >> John Nagle a écrit : > >>> Actually, static typing is for detecting errors before the >>> program is run. >> [EMAIL PROTECTED] ~ $ gcc -ototo toto.c >> [EMAIL PROTECTED] ~ $ ./toto >> Erreur de segmentation >> [EMAIL PROTECTED] ~ $ >> >> 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). -- http://mail.python.org/mailman/listinfo/python-list
