Categorical Date Type(CDT) can be regarded as a generalization of abstract data types,whose object is encapsulated data representation and also the control flow involved in evaluating homomorphism.
英
美
- 范疇數據類(lèi)型可以看成是抽象數據類(lèi)型的擴充,它的對象就是封裝了數據表達式以及涉及同態(tài)操作的控制流的集合。因此同態(tài)的關(guān)系是構造范疇數據類(lèi)型關(guān)鍵,但是,在數據類(lèi)型中有些操作并不是同態(tài)操作。
