编程语言俗称“计算机语言”，种类非常的多，总的来说可以分成机器语言、汇编语言、高级语言三大类。电脑每做的一次动作，一个步骤，都是按照计算机语言编好的程序来执行的。程序是计算机执行的指令集合，而程序全部都是用我们所掌握的语言来编写的。所以人们要控制计算机，一定要通过计算机语言向计算机发出命令。类型是编程语言理论的核心组织原则，本书中，作者通过使用类型理论为这些语言提供了一个全新的视角。
作者Robert Harper现任职于宾夕法尼亚的卡内基 - 梅隆大学，他的研究兴趣主要集中在类型理论，证明论和范畴论应用到编程语言的语义和实现。发表的论文包括正确编译多态性与动态类型、ACM研究：高效的缓存算法功能、结构和计算机程序的效率等；参与的讲座有美国印第安纳大学计算机科学系特聘讲座、LICS/ MFPS联席会议等。
本书通过类型理论提供了编程语言基本知识的新观点。大多数教科书强调分类，而本书强调遗传学这一新的视角，可扩展的理论框架有直接的实际应用。读者仅需要初等数学的知识便可阅读此书。本书适合编程理论、计算机程序方面的研究人员、研究生阅读参考。
