欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Rust
来自开放百科 - 灰狐
(版本间的差异)
小 (→文档) |
小 (→项目) |
||
(未显示1个用户的7个中间版本) | |||
第1行: | 第1行: | ||
{{SeeWikipedia|Rust (programming language) }} | {{SeeWikipedia|Rust (programming language) }} | ||
− | Rust 是 Mozilla 开发的注重安全、性能和并发性的编程语言。Rust 是针对多核体系提出的语言,并且吸收一些其他动态语言的重要特性,比如不需要管理内存,比如不会出现 Null 指针等。 | + | Rust 是 [[Mozilla]] 开发的注重安全、性能和并发性的编程语言。Rust 是针对多核体系提出的语言,并且吸收一些其他动态语言的重要特性,比如不需要管理内存,比如不会出现 Null 指针等。 |
− | + | [[文件:Rust-logo.png|right]] | |
==简介== | ==简介== | ||
− | Rust | + | Rust 是一种系统编程语言。它有着惊人的运行速度,能够防止段错误,并保证线程安全。它吸收了当下流行开发语言的优点,开发的目的是替代 [[C++]] 语言 :) |
Rust 采用 Apache v2 和 MIT 双许可协议。 | Rust 采用 Apache v2 和 MIT 双许可协议。 | ||
+ | |||
+ | ==新闻== | ||
+ | *[https://aws.amazon.com/cn/blogs/opensource/why-aws-loves-rust-and-how-wed-like-to-help/ How our AWS Rust team will contribute to Rust’s future successes] [https://aws.amazon.com/cn/blogs/opensource/innovating-with-rust/ Innovating with Rust] | ||
==特点== | ==特点== | ||
第35行: | 第38行: | ||
*[http://www.piston.rs/ Piston – A modular game engine written in Rust] | *[http://www.piston.rs/ Piston – A modular game engine written in Rust] | ||
*[https://github.com/redox-os/redox Redox OS] A Rust Operating System | *[https://github.com/redox-os/redox Redox OS] A Rust Operating System | ||
+ | *[https://github.com/Rust-GCC GCC Rust] [[GCC]] Front-End for Rust | ||
+ | *[https://github.com/lumen/lumen Lumen] A new compiler and runtime for [[Erlang VM|BEAM]] languages | ||
==文档== | ==文档== | ||
第41行: | 第46行: | ||
==用户== | ==用户== | ||
[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]] 连接。 | ||
+ | *[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] | ||
+ | |||
+ | ==问题== | ||
+ | warning: spurious network error (1 tries remaining): [6] Couldn't resolve host name (Could not resolve host: crates) | ||
+ | |||
+ | 解决方案:取消并行下载 | ||
+ | $ CARGO_HTTP_MULTIPLEXING=false | ||
==链接== | ==链接== |
2021年11月27日 (六) 14:08的最后版本
您可以在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
- GCC Rust GCC Front-End for Rust
- Lumen A new compiler and runtime for BEAM languages
[编辑] 文档
[编辑] 用户
- Mozilla 将推送连接基础服务迁移到 Rust,使得使用 Rust 的服务器可以在高峰时刻同时处理多达 2000 万个 WebSocket 连接。
- Why AWS loves Rust, and how we’d like to help
[编辑] 问题
warning: spurious network error (1 tries remaining): [6] Couldn't resolve host name (Could not resolve host: crates)
解决方案:取消并行下载
$ CARGO_HTTP_MULTIPLEXING=false
[编辑] 链接
分享您的观点