类别，sort和type这两个词基本是一个意思。在计算机理论研究领域会用到sort，sort可以理解成type of types。例如，A language with 2 sorts:sort Type = Int | Booleansort Exp = True | False | num[n] | e1+ e2 | if(e1;e2;e3)。
类别，sort和type这两个词基本是一个意思。在计算机理论研究领域会用到sort，sort可以理解成type of types。例如，A language with 2 sorts:sort Type = Int | Booleansort Exp = True | False | num[n] | e1+ e2 | if(e1;e2;e3)。
