欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Rust
来自开放百科 - 灰狐
(版本间的差异)
小 |
小 (→用户) |
||
第42行: | 第42行: | ||
[https://www.rust-lang.org/zh-CN/production/users Rust生产环境用户] | [https://www.rust-lang.org/zh-CN/production/users Rust生产环境用户] | ||
*[[Mozilla]] 将推送连接基础服务迁移到 Rust,使得使用 Rust 的服务器可以在高峰时刻同时处理多达 2000 万个 [[WebSocket]] 连接。 | *[[Mozilla]] 将推送连接基础服务迁移到 Rust,使得使用 Rust 的服务器可以在高峰时刻同时处理多达 2000 万个 [[WebSocket]] 连接。 | ||
+ | *[https://aws.amazon.com/cn/blogs/opensource/why-aws-loves-rust-and-how-wed-like-to-help/ Why AWS loves Rust, and how we’d like to help] | ||
==链接== | ==链接== |
2020年11月29日 (日) 04:12的版本
您可以在Wikipedia上了解到此条目的英文信息 Rust Thanks, Wikipedia. |
Rust 是 Mozilla 开发的注重安全、性能和并发性的编程语言。Rust 是针对多核体系提出的语言,并且吸收一些其他动态语言的重要特性,比如不需要管理内存,比如不会出现 Null 指针等。
目录 |
简介
Rust 是一种系统编程语言。它有着惊人的运行速度,能够防止段错误,并保证线程安全。它吸收了当下流行开发语言的优点,开发的目的是替代 C++ 语言 :)
Rust 采用 Apache v2 和 MIT 双许可协议。
特点
- 零开销抽象
- 转移语义
- 保证内存安全
- 线程无数据竞争
- 基于 trait 的泛型
- 模式匹配
- 类型推断
- 极小运行时
- 高效 C 绑定
指南
$ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh $ source $HOME/.cargo/env $ rustc --version $ rustup self uninstall
C++
项目
- Awesome Rust
- Servo
- Piston – A modular game engine written in Rust
- Redox OS A Rust Operating System
文档
用户
- Mozilla 将推送连接基础服务迁移到 Rust,使得使用 Rust 的服务器可以在高峰时刻同时处理多达 2000 万个 WebSocket 连接。
- Why AWS loves Rust, and how we’d like to help
链接
分享您的观点