本书是《Types and Programming Languages》的升级版,讲解更深入的类型知识