这个新的axum编程语言是什么?

AXUM是一种以使安全和执行并发编程更简单的方式构造的语言。语言建模的概念避免了通过使用 lock (C) Monitor , ReaderWriterLockSlim 等。

可以说,axum内部的许多想法 Erlang programming language 自1986年以来,瑞典的研究人员为爱立信设计了一种语言,用于在电话交换机上运行,因此在高并发负载下支持大量吞吐量是非常重要的,它被设计成了该语言。虽然axum中的许多想法都不是新的,但它们对于.NET和clr肯定是新的(至少在语言级别)。

包含以下一些想法的现有.NET库是:

• Retlang
• Concurrency and Coordination Runtime (CCR)

和Erlang一样,消息传递也是Axum的核心概念。与Erlang一样,Axum在很大程度上对消息的接收者是位于进程中还是远程位置漠不关心。Axum目前提供与WCF的集成。

Axum不同于上面提到的库,它包括在语言级别支持这些概念,而不仅仅是通过使用库。Axum编译器不仅处理Axum语言,还处理C语言本身的一些实验性扩展,即 isolated 和 readonly 关键词。

在语言中添加新功能并不是轻而易举的事情。 Spec# 另一种C-超集语言是在 MSR (与并发无关)。如图所示 Code Contracts 在.NET 4.0中,微软决定支持添加一个新的API而不是新的语言扩展(这对clr上所有语言的用户都有好处)。然而,在axum中,C 3.0语言的丰富性还不够,无法表达类型及其成员所需的不可变约束,从而实现真正安全的并发程序。明。

在涉足二郎并喜欢我所看到的一切之后,我很兴奋Axum会带我们去哪里。团队提出的对C语言的一些扩展对于常规的C语言项目也很有用。

最后,我想指出的是,Erlang不仅仅是一个好的并发模型。Erlang是一种严格的函数式编程语言。它支持热插拔代码,这意味着系统可以在不停止的情况下进行升级(电话交换机或任何其他24x7系统的理想功能)。我听到一家英国大型电信机构的一份报告,说这家公司在运营一年的交换机时,只接了四个电话。Erlang还具有远程异常处理等其他特性。

在我看来,在你的问题上,你是一针见血。看起来像是Microsoft.net替代了您提到的某些语言/框架。请看下面的程序员指南:

Axum Programmer's Guide

看起来它应该和.NET框架的其他部分很好地配合。它可能会打开一些有趣的c/f/axum交互…

Axum是微软“Maestro”语言的新名称,该语言最初是用于并行编程的研究语言,但最近被“提升”为一流语言。

下面是关于第9频道的更多信息:

Maestro: A Managed Domain Specific Language For Concurrent Programming

…以及关于 official Axum team blog .

以下是关于 Axum . 显然,一些并发特性将不再是C/vb.net的一部分。

…关于安全并行性和 许多人认为基于代理的编程远远超出了 现在主流语言如C和VB将被采用。理念 Axum不会把这些概念强加于通用语言,所以 我们中那些在Axum上工作的人并不感到惊讶。