Rust之后的最理想编程语言

Rust非常接近于我的理想语言,但我实际上正在寻找在它之后的 "下一种语言"。

我的意思是,这是一种非常积极的方式。我认为,当我们回顾本世纪初的时候,软件开发的分界线就在Rust出现的地方,它是对现有秩序的真正挑战者。

我相信Rust已经开启了某种意义上的复兴,但也许Rust本身只是指明了方向,而一个更好的解决方案可能就在眼前。

它所需要的是一个有强烈动机的人,或者最好是一群人,在不重蹈覆辙的情况下,完成建立这样一种语言的工作。

当然,我提到的一些问题是std和crates生态系统中的缺陷,因此从技术上来说,并不是编写一种全新语言的理由。但在这一点上,我认为没有人能够现实地转到std-2.0。

所以,无论如何,让我们先放纵一下我幻想的 "后Rust时代的理想语言"。

  • 它实际上很像Rust,但又有一点Zig的comptime优点。
  • 将会有一个借贷检查器,它将会像Rustc那样给出伟大的错误信息。
  • 我们会有comptime的概念,所以没有宏,而且很明显,泛型是如何在引擎盖下运作的。
  • 但也会有Zig没有的特质,因为那是一个非常有用的概念。
  • 我对语法并不挑剔,只要求它的行为尽可能的一致。
  • 借款检查器显然会像Rust一样导致一个伟大的并发和并行的故事。

与Rust不同的是:

  • 这种新语言的std将从头开始构建,能够做任何我们认为是C语言领域的事情,但不需要调用C或汇编。
  • 我们将获得与其他语言接口的内置功能,以及与底层操作系统内核的直接对话。

最后,我设想了一个库包生态系统,它不仅有命名空间,而且实际上是完全分布式的和分散的--如果你愿意的话,是联盟式的。

这将如何运作,我将留给大家想象,除了强调不会有区块链的诡异行为,加密者可以从我的博客上消失,但FidiVerse和Matrix已经表明,分布式通信可以扩展,现在我们只需要迭代和改进。

在此期间,你可以而且应该使用Rust。 尽管有任何缺点,它仍然是迄今为止在执行内存访问安全和整体正确性方面最好的语言。 我提到的很多小问题对普通程序员来说确实是很不常见的事情。

如果你想尝试其他的东西(而且还没有这样做),那么你也应该试试Zig,因为它是一种奇妙的语言,有它自己的一些奇妙的想法,

当谈到它是否适合完全取代C时,它实际上领先于Rust。