男

你们中的许多人肯定听说过Midori，这将是Windows 的下一步。一个从头开始编写的新操作系统，具有新内核并以现代语言编写。如此现代，它甚至还不存在。

语言，代号M，基于C，专为操作系统编程而设计，能够达到最底层但不会丢失创建更常见程序（例如用户应用程序）所需的有用抽象。

Midori 的开发人员之一Joe Duffy 在其博客上的一篇文章中分享了有关这种未来语言的非常有趣的细节。项目的主要思想是创建一个language with type-safe（type-safety）像C，但是c具有非常好的性能，例如C++。

大部分性能工作都用于调整C 的两个方面：垃圾收集器和类型系统 一目了然，C每 X 次程序的垃圾收集器，查找不再使用的对象（例如，您的浏览器已将多个图像保存在 RAM 中但不再需要它们）并释放它们的内存。对于开发人员来说，它是一个在管理内存方面减少了很多复杂性的系统，但正如您可以想象的那样，它速度较慢。 M 在这方面会更聪明，从 C++ 中借鉴了一些想法，以更好地理解对象的生命周期（何时开始使用它们以及何时不再需要它们），从而在分配和释放内存时更加高效. 无需垃圾收集器发挥作用。

"

另一方面，打字系统的修改旨在解决大多数旧语言（阅读：2005年之前设计）目前存在的问题之一， parallelism 现在，计算机不会在高度（处理器速度）上增长，而是在宽度上增长，并具有更多的并行内核。创建充分利用这种并行处理的程序并不容易，并且有许多微妙的细节，尤其是在多个进程或线程之间共享数据时。"

M 将引入函数式编程语言的概念，主要是对象不变性和方法副作用处理，这将使程序员和编译器更容易为 创建多个线程利用计算机的多核从而大大提高性能。

此外，M还将带来一个新的错误处理系统：快速、易用、高效，利用代码契约将程序行为限制在有效路径内，并且易于理解，以便编译器可以执行优化。因此，我们将讨论一种有助于创建更安全和健壮的程序的语言，如果我们想将它用于操作系统，这是非常重要的。

足够的技术术语：这是什么意思？

在深入了解编程语言的世界之后，这一切意味着什么？

首先，微软似乎非常重视Windows的下一阶段。 Mary Jo Foley 说，Midori 已经从一个研究项目转变为在统一操作系统组的 Terry Myerson 的支持下。 M和Midori不仅仅是一个实验，而是微软前进的方向。

准备另一个Windows有意义吗？当然。与任何其他程序一样，操作系统的生命周期有限。现在的世界与设计 Windows 时截然不同，无论系统多么灵活，多年来为适应新场景所做的许多改变最终都会付出代价，从头开始更有利可图（我们计算机科学家非常喜欢的东西）。

当然，Midori不会在短期或中期出现。但是当它完成时（如果它曾经完成过，这也不确定），它将是一个从一开始就以并行和云为中心的系统，将使微软在世界上处于head操作系统，至少在技术和能力水平上。

至于M，如果像承诺的那样它是对C 的扩展且没有不受支持的更改，那么许多开发人员可以轻松地切换到它。如果他们完全开箱即用地发布它，他们也承诺过，他们可能能够打破 C 现在陷入的“Microsoft 循环”，扩展它，从而获得巨大的优势其他语言和公司

目前看来，语言会有一些未来，我们应该在接下来的几周内了解更多细节。至于Midori，让我们记住他甚至不是官方的，我们还需要很长时间才能更多地了解他，但是这样的故事告诉我们微软的方向。