4 ms·

Really? My impression is that it's largely correctness.

• spullara 13y ago
  Virtually every optimization even dynamic languages make are about narrowing down exactly what the type something is and which method that is called at runtime. At that point you can do things like inlining and other high powered optimizations.
• Skywing 13y ago
  But that allows for smarter optimizations.
  • tych0 13y ago
    Of course it does, and I never said it didn't. I just said that my impression is that the primary motivation of language people is correctness. However, I have published several in the area of software verification, so perhaps I am biased.
• octo_t 13y ago
  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...