类型理论和程序设计

一、类型理论的起源与发展类型理论的基本思想和方法学基础来源于哲学中的归类(classification)方法,即把具有共同特点的类集合成超类的思维过程和方法。归类是形成概念的先决条件之一,分类方法在认识和实践活动中有广泛的应用。例如生物学中的分类范畴典型体现了类型分化