I'm glad to see more mentions of MS's Midori project. The blog posts from Joe Duffy that this article links to make for interesting reading, and I think that th

I'm glad to see more mentions of MS's Midori project. The blog posts from Joe Duffy that this article links to make for interesting reading, and I think that there's some interesting ideas there that I'd like to see more experimentation with. The two that really stand out are heavily using contracts in the language and tooling (http://joeduffyblog.com/2016/02/07/the-error-model/#bugs-abandonment-assertions-and-contracts http://joeduffyblog.com/2016/02/07/the-error-model/#bugs-aba... goes into a fair bit of detail), as well as using capability-based security.