类型系统

primitive type

基本类型：interger, string, bool, array …

product type

struct 不同类型的乘积，取值是所有组合类型的笛卡尔积

sum type

enum 不同类型的不相交集

enum Option<T> {
   Some(T),
   None
}
enum Result<T, E> {
   Ok(T),
   Err(E)
}

generic type

泛型，提升抽象程度，可看成是作用于类型的的特殊函数， 展开为新类型

Option<u8>展开是

enum Option {
   Some(u8),
   None
}