[jonaf]

Please tell me that the referenced C# dialect used in Midori is available in some form for use, research or general learning? This would really make my week!!

[pjmlp]

Just scattered information.

You have Joe Duffy's blog entries about Midori and one entry back when it was still called M#.

Then there are the little pieces that came to C# from it.

Namely async/await, TPL, the MDIL compiler on Windows 8.x, the .NET Native compiler for UWP, the improved GC control in .NET 4.6 and the planned features for C# 7.1, 7.2 and 8.0 related to more mechanical sympathy.

[pjmlp]

Edit isn't allowed any longer, so here are some extra informations.

Joe Duffy's blog about Midori

http://joeduffyblog.com/2015/11/03/blogging-about-midori/

Joe's blog entry about what was known as M# at the time

http://joeduffyblog.com/2013/12/27/csharp-for-systems-progra...

Joe's presentation at QCon 2015, "Safe Systems Programming in C# and .NET"

https://www.infoq.com/presentations/csharp-systems-programmi...

Channel 9 presentations about MDIL compiler for Windows 8.x

https://channel9.msdn.com/Events/Build/2012/3-005

https://channel9.msdn.com/Shows/Going+Deep/Mani-Ramaswamy-an...

Channel 9 presentations about .NET Native

https://channel9.msdn.com/Shows/Going+Deep/Inside-NET-Native

https://channel9.msdn.com/events/dotnetConf/2014/-NET-Native...

GC Improvements on .NET 4.6, including memory guarantees for performance critical sections

https://docs.microsoft.com/en-us/dotnet/api/system.gc.trysta...

https://blogs.msdn.microsoft.com/alphageek/2017/01/24/signif...

C# roadmap for 7.1, 7.2 and 8.0 with more memory friendly features

https://github.com/dotnet/roslyn/blob/master/docs/Language%2...

Joe is presenting a keynote at Rustconf, about memory safe systems programming.

http://rustconf.com/program.html#joe