泛型、Trait Bound 與生命週期

如果說第 3 章講的是建立高階抽象供人類理解，而第 4 章講的是配合現代電腦硬體制定限制以達成效率，這章便是要延伸並結合前兩章的內容。在建立抽象上我們導入能接收型別作為參數的型別——泛型，然後我們會學習能限制泛型的 trait，接著理解生命週期不但可以達成作為低階語言的效能，也如在高階語言中和型別系統完美結合。