An interview with Larry Wall (LinuxVoice)

The most recent version of Python has optional static typing, and I'm sure some dialects of Lisp have as well. Values stored in variables almost always have types in languages that don't have mandatory static typing. High-performance interpreters almost always infer types for values and variables as early as possible, but there's always Any to fall back on if that can't be done.