Strongtalk

• Originally a project to run Self at high speeds
• Looks at type information, compiles optimistic paths. For example if objects entering a section of code are known to be integers then inline integer operations (read: remove all the OO overhead) for those calls.

TODO read the papers on their site and comment on them