标签： 类型论

L’axiome du choix, dans le domaine de la théorie intuitionniste des types 06/29

Rust的设计哲学：Trait与多态 12/06