编程语言是不可能的（因为有共享可变性，不安全的指针运算，和不可控的副作用）。但Rust的出现，改变了这种情况，作为一个命令式语言，它却走在被证明的路上。到目前为止，标准库的一部分已经被证明是正确的，见... 高性能 Rust 速度惊人且内存利用率极高。由于没有运行时和垃圾回收，它能够胜任对性能要求特别高的服务，可以在嵌入式设备上运行，还能轻松和其他语言集成。 可靠性 Rust 丰富的类型系统和所有权模型