type system unification中文

• 類型系統的統一

• type:    n. 1.型，類型，(工業產品的)品 ...
• system:    n. 1.體系，系統；分類法；組織； ...
• unification:    n. 統一，合一，聯合；一致。