欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Rust
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 Rust Thanks, Wikipedia. |
Rust 是 Mozilla 开发的注重安全、性能和并发性的编程语言。Rust 是针对多核体系提出的语言,并且吸收一些其他动态语言的重要特性,比如不需要管理内存,比如不会出现 Null 指针等。
目录 |
简介
Rust 是一种系统编程语言。 它有着惊人的运行速度,能够防止段错误,并保证线程安全。 它吸收了当下流行开发语言的优点,开发的目的是替代 C++ 语言 :)
Rust 采用 Apache v2 和 MIT 双许可协议。
特点
- 零开销抽象
- 转移语义
- 保证内存安全
- 线程无数据竞争
- 基于 trait 的泛型
- 模式匹配
- 类型推断
- 极小运行时
- 高效 C 绑定
指南
$ curl https://sh.rustup.rs -sSf | sh $ rustc --version $ rustup self uninstall
C++
项目
- Awesome Rust
- Servo
- Piston – A modular game engine written in Rust
- Redox OS A Rust Operating System
文档
链接
分享您的观点