型別構造器

類型構造器也稱類型構造子 ， 是把若干已知類型組合成一新類型的手段 。 可以看作是類型的構造函數 。 打個比方 ， 如果說普通的函數操作變量併產生新值 ， 那麼類型構造器就是操作類型返回新類型 。 例如 ， 數組 T [ ] 是若干相同類型 T 元素的有序集合 ， 我們說從 T 類型構造出 “ T 的數組 ” 這一類型的類型構造器是 （ 後綴 ） [ ] 、 即 “ 加上數組 ” 。