Rust

作品详情

中文名	Rust语言展开
最新版本	2016年7月7日1.10.0版展开
性质	注重安全、性能、并发性展开

外文名	The Rust Programming Language 展开
开发者	Mozilla、Graydon Hoare 展开

1入门

Rust作为一门入门门槛比较高的编程语言，使许多学习者望而止步，Rust中文社区(rustcc)对此付出了诸多努力，不但翻译了Rust官方教程(rust book)，并且编写了入门文档RustPrimer，发布了优质的Rust编程系列文章。

2最新版本

Mozilla在2014年10月宣布发布Rust编译器和工具的0.12版。0.12版有1900多项变化和bug修正，其中主要包括：重写了入门文档，继续提高了包管理器Cargo等。

2015年5月，发布了Rust-1.0.0-alpha版

2016年5月，发布了Rust-1.9.0版

2016年7月，发布了Rust-1.10.0版

3生态系统

Rust的开源库都在crates.io上发布，开发者也可以将自己编写的库通过Cargo发布到crates.io。

4词条图册

声明：本文仅代表作者观点，不代表本站立场。如果侵犯到您的合法权益，请联系我们删除侵权资源！如果遇到资源链接失效，请您通过评论或工单的方式通知管理员。未经允许，不得转载，本站所有资源文章禁止商业使用运营!

下载安装【程序员客栈】APP

实时对接需求、及时收发消息、丰富的开放项目需求、随时随地查看项目状态

前往安装

案例

Rust实现的构造性定理证明器

大部分定理证明系统都依赖于对形式化语言的解析，生成抽象语法树（Abstract Syntax Tree，AST）并进行类型检查。通常，符号绑定在作用域内进行，每个作用域都是通过解析特定编程语言编写的程序而得到的。然而，为了实现一个命令式且不依赖特定语言的证明系统，我们需要以某种方式存储“作用域”的信息。通过语言解析获得的作用域类似于依赖类型论的范畴语义中的上下文范畴的对象，即上下文。本文通过类比上下文范畴的定义设计了上下文结构，并用该结构存储某个上下文中已经构造出来的项。系统的主要功能通过操作上下文结构来实现。这极大地提高了构造证明的灵活性，但同时也增加了书写的复杂性

770rust

文件管理器（Web版）

这是一个网页版的文件管理器，提供文件的检索、下载、上传等功能。后端使用 Rust + Tokio + Axum 开发，前端使用 Vue3 + Element Plus 开发。当部署在服务器或客户机里后，管理者可以很方便的使用网页客户端来管理服务器里的文件。

840vue、文件管理器、文档管理

20x10G DCI 光通信电层板卡业务软件开发

1.使用C语言编写 Linux 下用户态多线程软件，编写板卡 OTN 业务模型框图以及软件文档 2. 通过I2C配置光模块参数，读取光模块信息,光模块性能等 3. 编写 pm5990 驱动,实现客户侧端口（10GE）OTU、ETH、SDH 等类型业务的配置 4. 实现20个客户侧端口+2个波分测端口各种类型告警信息检测以及上报，性能数据检测及上报 5. 实现了板卡全部功能需求,提前一个月完成项目交付,产品销往新加坡等国家,客户反馈较好

1290嵌入式操作系统