类型族-一流百科

类型族

什么是类型族在计算机科学中，类型族将数据类型与其他数据类型联系起来，使用由输入类型的有效实例和相应的输出类型的开放式集合定义的类型级函数。类型族是...