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

[Bruno Desthuilliers]

John Nagle a écrit :
> Bruno Desthuilliers wrote:
> 
>> harri a écrit :
> 
> 
>> Indeed - static typing is for compilers, not for programmers.
> 
> 
>     Actually, static typing is for detecting errors before the
> program is run.

bruno at bibi ~ $ cat toto.c
#include <stdio.h>
int main(void)
{
   char *toto = (char *)42;
   printf("%s", toto);
   return 0;
}
bruno at bibi ~ $ gcc -ototo toto.c
bruno at bibi ~ $ ./toto
Erreur de segmentation
bruno at bibi ~ $

You said ?