[jbjohns]

You don't have to have static typing to do type analysis. Look at what these guys are/were doing: http://www.strongtalk.org/