类型系统 Type System

类型系统与类型理论。

父分类1

• 理论 Theory & Paradigm

实例 16

• GC垃圾回收
• 所有权Ownership
• ABI应用二进制接口
• UB未定义行为
• 仿射类型Affine Logic & Types
• 代数数据类型Algebraic Data Type
• 依值类型Dependent Typing
• 泛型Generics
• 静态生命周期Lifetimes in Rust
• 线性类型Linear Logic & Types
• 名义类型Nominal Type System
• 多态性Type Polymorphism
• 结构类型Structural Type System
• 子类型Subtyping
• 类型推断Type Inference
• 型变Type Variance