Rust sounds very promising in a lot of ways. It has a whole host of useful compiler technologies that we've known about for a long time, yet have not applied to industry languages.