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