类型的基石：数据类型、函数类型

所有的类型都是在数据类型和函数类型的基础上进行组合和扩展而来；