On Languages, VMs, Optimization, and the Way of the World

1 · Charles Oliver Nutter · May 11, 2013, 10:05 a.m.
I shouldn't be up this late, but I've been doing lots of thinking and exploring tonight.In studying various VMs over the past few years, I've come up with a list of do's and don't that make things optimize right. These apply to languages, the structures that back them, and the VMs that optimize those languages, and from what I've seen there's a lot of immutable truths here given current optimization technology.Let's dive in.#1: Types don't have to be staticJVM and other dynamic-optimizing runtim...