The pre-Cortana version of the speech service ran on Midori, too, with safer code: https://www.reddit.com/r/programming/comments/3t50xg/more_information_about_

The pre-Cortana version of the speech service ran on Midori, too, with safer code: https://www.reddit.com/r/programming/comments/3t50xg/more_information_about_microsofts_oncesecret/ https://www.reddit.com/r/programming/comments/3t50xg/more_in... They admit it wasn't quite full-GC stuff. It was close to the C++. It did use the language safety and parallelism to its advantage on top of the Midori OS. They ended up improving performance over the original. Still worth mentioning even if not fully-GC. I mean, they could've always used a real-time GC if that was important. There's already commercial and academic ones. For some reason, these projects never try to do that. I think even those developing GC'd systems might not know about RT designs.