等式类型构子

（计算机科学技术）
等式类型构子（equality type constructor），计算机科学技术名词，一种函子，用于构造基于已知类型之上的抽象类型。
知识树
时光轴
论点集
总题库
领域
计算机
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》