읽어본 타입스크립트 책중에는 타입시스템을 가장 잘 설명해주는 책이다