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

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

前往安装

案例

CPU光追渲染器

参考Ray Tracing: The Next Week，用Rust编写的CPU并行光线追踪渲染器。本项目为一个简单的光线追踪渲染器，参考Ray Tracing: The Next Week，用Rust实现。实现了动态模糊、图片用作纹理、体积渲染、Perlin Noise、四边形、光源、实例。

1050教育

电商搭建系统

本方案针对白酒销售行业客户，解决了客户想从公域专为私域流量的问题本系统为客户快速搭建自己的电商系统，实现线上销售，线下仓库配送，一键上传商品；我们的系统采用目前最安全的开发语言rust，不仅响应速度快，还大大保护了客户的数据安全

1100小程序、生活服务

基于STM32单片机的智能停车管理系统

本系统为了解决车主为停车流程繁琐问题，提升停车场车辆进出效率等。以STM32F103单片机为核心控制器，结合其他模块，采用Rust编程语言，构建了一个基于单片机的智能停车场系统。主要包含如下技术：（1）中控使用STM32F103单片机，负责处理输入数据并控制输出。（2）输入部分包括IC卡和RFID识别、DS3231时钟模块。（3）IC卡和RFID用于识别车辆，DS3231时钟模块检测时间并记录车辆进入停车场的时间。（4）输出部分包括SG90舵机，用于模拟抬杆和降杆操作；OLED显示屏，用于显示时间、车牌号、费用、停车位和停车时间；

3720物联网

基于STM32单片机的智能停车管理系统

3720物联网

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

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

1710rust

当前共180个项目