There are plenty of optimizations that are only available when you know the types of the objects you're dealing with (mostly relating to aliasing). See: http:/

There are plenty of optimizations that are only available when you know the types of the objects you're dealing with (mostly relating to aliasing). See: http://scholarworks.umass.edu/cgi/viewcontent.cgi?article=1007&context=cs_faculty_pubs&sei-redir=1&referer=http%3A%2F%2Fscholar.google.co.uk%2Fscholar%3Fq%3Dstatic%2Btype%2Boptimisations%26btnG%3D%26hl%3Den%26as_sdt%3D0%252C5#search=%22static%20type%20optimisations%22 http://scholarworks.umass.edu/cgi/viewcontent.cgi?article=10...