归纳类型-一流百科

归纳类型

归纳类型在类型理论中，如果一个系统具有从创建该类型的常量和函数中创建新类型的设施，那么它就具有归纳类型。该功能的作用类似于编程语言中的数据结构，并...

词条百科