Study note
Rust Type System Turing Complete
Properties
- Type
- Blogs
- Status
- 待读
- Domain
- Rust
- Category
- 类型系统、宏与语言机制
- Source
- sdleffler.github.io
- Vault note
library/articles/rust/Rust-Type-System-Turing-Complete-ee877402b7187dc2.md
Summary
展示 Rust 类型系统具备图灵完备性的文章/实验，通过类型、trait、关联类型等机制表达计算。
Highlights
适合理解 Rust trait system 的表达能力和边界，但更偏类型体操，不应直接当日常工程风格。
Notes
Rust 类型系统
Comments
Loading comments...