类型构造器-一流百科

类型构造器

类型构造器在被称为类型理论的数理逻辑和计算机科学领域，类型构造器是类型化形式语言的一个特征，它从旧类型中建立新类型。基本类型被认为是使用空类型构造...