Brilliant deep dive on the Midori compiler, and its quest for performant, safe, GC'd language implementation: https://joeduffyblog.com/2015/12/19/safe-native-code/