Rust的类型系统 类型于20世纪50年代被FORTRAN语言引入，其相关的理论和应用已经发展得非常成熟。现在，类型系统已经成为了各大编程语言的核心基础。 通用基础 所谓类型，就是对表示信息的值进行的细粒度的区分。比如整数、小数、文本等。 不同的类型占用的内存不同。与直接操作比特位相 ...

范畴即为结构：包含要素和转化。 范畴为高阶类型。 函子为高阶函数。函子的输入为态射。函子为建立在态射基础上的高阶函数。函子用于保持范畴间映射的结构。态射用于范畴内部的转换。 群为运算规则的 ...

类型是一个数据符号，代表着数据的内存布局和访问规则。 default public <T> T xxxxx(Class<T> xclass) throws Exception ...