发布于 2023-06-29 L’axiome du choix, dans le domaine de la théorie intuitionniste des types 1413 热度 无~ 数学 L’axiome du choix, c’est un axiome qui signifie qu’il y a
发布于 2022-12-06 Rust的设计哲学:Trait与多态 5421 热度 56 条评论 程序设计 在2019年刚刚接触Rust的时候(那会每周例行去医院光公交车要坐一个小时,就拿着手机在车上看,好怀念), …