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

[Bruno Desthuilliers]

John Nagle a écrit :
(snip)
> It looks like
> a compromise between the "no declarations" position and the "make
> the language strongly typed" position.  
(snip)
> The main advantage of strongly typed systems is that more errors
> are detected at compile time.  
(snip)

s/strongly/statically/

1/ strong typing is not necessarily static typing,
2/ static typing is not necessarily strong typing
3/ dynamic typing is not necessarily weak typing
4/ static typing is not necessarily declarative (ever heard of 
type-inference based systems ?)