I've been proposing the same approach as Mozilla took with asm a few years ago: Specify a subset of the language and guarantee that if on sticks to this subset

I've been proposing the same approach as Mozilla took with asm a few years ago: Specify a subset of the language and guarantee that if on sticks to this subset it will run in a simplified and heavily optimized branch of the code.