序言

本博客将不定期更新一些Rust相关的学习心得与开发体验，更新频率可能不会很高。文章按月组织，例序排列。

2023-06

• RustBelt——Rust语言的形式化语义模型
  • （零）背景
  • （一）形式化逻辑基础
  • （二）Rust语义模型
  • （三）示例Rc

2022-01

• Polonius学习笔记
  • （零）原子式与输入
  • （一）初始化分析
  • （二）存活性分析
  • （三）借债分析
    • (1) 原始规则
    • (2) 位置无关规则
    • (3) 优化规则

2021-09

• Ghost Cell试用体验

2021-01

• Rust过程宏入门系列
  • （一）过程宏简介
  • （二）初探派生宏
  • （三）实现简易派生宏
  • （四）遍历结构体字段