欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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 --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
链接
分享您的观点