专题演讲嘉宾：王渊命

Rust 通过线性类型实现了内存资源的自动追踪和释放，然而线型类型在编程语言层面是如何实现的呢？这个特性还可以用在哪些地方？Move 通过线性类型将“资源”这种特性带入编程语言后，这个特性会在智能合约领域能带来什么变化？本次分享主要介绍 Westarlabs 在 Rust 以及智能合约编程语言 Move 方面的实践经验。

演讲大纲

1. 理解线性类型
2. 线性类型在 Rust：所有权（Ownership）& 借用（Borrowing）
3. 线性类型在 Move：Ability & Resource 
4. 编译器的借用检查
5. 类型系统与外部存储

听众受益

• 了解 Rust
• 了解线型类型和内存资源管理
• 了解 智能合约编程语言 Move ，以及它对线型类型的使用