我今天在 slashdot 上阅读了 this 的故事，他们宣布了 Microsoft 推出的一种新的并行编程语言。
这种新的编程语言是关于什么的？它说并行编程。但它会成为 MPI、PVM、OpenMP 和类似并行库/框架的替代品/替代品吗？
有什么想法吗？
【问题讨论】：
标签： .net programming-languages concurrent-programming axum
Axum 是一种语言，其结构使得安全和高性能的并发编程更简单。语言建模的概念避免了通过使用lock（在C#中）、Monitor、ReaderWriterLockSlim等来显式地进行线程同步的需要......
可以说，Axum 中的许多想法自 1986 年以来一直存在于 Erlang programming language 中——这是一种由在瑞典工作的研究人员为爱立信设计的用于在电话交换机上运行的语言，因此支持高并发下的大吞吐量负载是如此重要，它被设计成语言。虽然 Axum 中的许多想法并不新鲜，但它们对于 .NET 和 CLR 来说肯定是新的（至少在语言级别上）。
包含其中一些想法的现有 .NET 库是：
与 Erlang 一样，消息传递是 Axum 的核心概念。与 Erlang 一样，Axum 对消息的接收者是位于进程内还是远程位置在很大程度上漠不关心。 Axum 目前提供与 WCF 的集成。
Axum 与上述库的不同之处在于它在语言级别包括对这些概念的支持，而不仅仅是通过使用库。 Axum 编译器不仅处理 Axum 语言，还处理 C# 语言本身的一些实验性扩展；即isolated 和readonly 关键字。
为一门语言添加新功能并非易事。 Spec# 是在 MSR 开发的另一种 C# 超集语言（与并发无关）。正如 .NET 4.0 中对 Code Contracts 的支持所看到的那样，Microsoft 已决定支持添加新的 API 而不是新的语言扩展（这有利于 CLR 上所有语言的用户。）但是在 Axum 的情况下，没有C# 3.0 语言的丰富性足以表达类型及其成员所需的各种不变性约束，以实现真正安全的并发编程。
在涉足 Erlang 并喜欢我所看到的之后，我对 Axum 可能带我们去哪里感到非常兴奋。团队提出的一些 C# 语言扩展对常规 C# 项目也很有用。
最后我想指出，Erlang 不仅仅是一个好的并发模型。 Erlang 是一种严格的函数式编程语言。它支持热插拔代码，这意味着系统可以在不停止的情况下升级（电话交换机或任何其他 24x7 系统的理想功能）。我从一家大型英国电信组织那里听到一份报告，该组织运行了一年的交换机，但在那段时间里只路由了四个电话。 Erlang 还具有其他特性，例如远程异常处理。
【讨论】：
在我看来，您的问题一针见血。看起来像您提到的某些语言/框架的 Microsoft.NET 替代品。在此处查看程序员指南：
看起来它应该可以很好地与 .NET Framework 的其余部分配合使用。它可能会打开一些有趣的 C#/F#/Axum 交互...
【讨论】：
Axum 是 Microsoft 的“Maestro”语言的新名称，它最初是一种用于并行编程的研究语言，但最近才被“提升”为一流的语言。
这里有更多关于第 9 频道的信息：
Maestro: A Managed Domain Specific Language For Concurrent Programming
【讨论】：
这里是Axum 状态的更新。显然，一些并发特性将不再是 C#/VB.Net 的一部分。
...关于安全并行的概念和 许多人认为基于代理的编程太过分了 现在在 C# 和 VB 等语言中采用主流。的想法 Axum 不会将这些概念强加于通用语言，所以 我们这些从事 Axum 工作的人并不感到惊讶。
【讨论】：