Talking about static typing without investigating something like Haskell (as mentioned by others) seems limiting, particularly since Guido picked up a couple of

Talking about static typing without investigating something like Haskell (as mentioned by others) seems limiting, particularly since Guido picked up a couple of things from Haskell like the list comprehensions presented in this post. And then you'll discover that Haskell's type system is limited as well. Learn some Qi - http://www.lambdassociates.org/qilisp.htm http://www.lambdassociates.org/qilisp.htm.