代数类型与建模

代数类型是和类型(Sum Type)和积类型(Product Type)的统称。