本站原创编程语言俗称“计算机语言”,种类非常的多,总的来说可以分成机器语言、汇编语言、高级语言三大类.电脑每做的一次动作,一个步骤,都是按照计算机语言编好的程序来执行的.程序是计算机执行的指令集合,而程序全部都是用我们所掌握的语言来编写的.所以人们要控制计算机,一定要通过计算机语言向计算机发出命令.类型是编程语言理论的核心组织原则,本书中,作者通过使用类型理论为这些语言提供了一个全新的视角.
全书分为18个部分,共50章：第1部分判定和规则,含第1-3章：1.语法对象；2.感应定义；3.假设与一般性判断.第2部分静力学和动力学,含第4-7章：4.静态类型变量；5.动态类型变量；6.变量的类型安全；7.动态评估.第3部分函数类型,含第8-10章：8.函数的定义和值；9.Gdel的T介绍；10.Plotkin的PCF介绍.第4部分有限数据类型,含第11-14章：11.积类型；12.和类型；13.模式匹配；14.泛型编程.第5部分无限数据类型,含第15-16章：15.感应及传导类型；16.递归类型变量.第6部分动力学类型,含第17-19章：17.非类型化λ演算；18.动态类型变量；19.混合类型变量.第7部分变量类型,含第20-22章：20.Girard的F系统；21.摘 要类型；22.构造函数和种类.第8部分亚型,含第23-24章：23.亚型；24.单种.第9部分类和方法,含第25-26章：25.动态调度；26.继承.第10部分例外和延续,含第27-29章：27.堆栈控制；28.例外；29.继续.第11部分含第30-31章：30.建设性逻辑；31.经典逻辑.第12部分符号,含第32-34章：32.符号；33.流体绑定；34.动态分级.第13部分状态,含第35-36章：35.现代化语言；36.分配参考.第14部分懒惰,含第37-38章：37.懒惰评价；38.极化.第15部分并行,含第39-40章：39.嵌套并行；40.未来及预测.第16部分并发式语言,含第41-43章：41.流程积分；42.并发式语言；43.分布式语言.第17部分模块化,含第44-46章：44.组件；45.抽象类型和类型类；46.层次结构和参数.第18部分推理方程式,含第47-50章：47.T的推理方程式；48.PCF的推理方程式；49.参数化；50.过程等价.
作者RobertHarper现任职于宾夕法尼亚的卡内基-梅隆大学,他的研究兴趣主要集中在类型理论,证明论和范畴论应用到编程语言的语义和实现.发表的论文包括正确编译多态性与动态类型、ACM研究：高效的缓存算能、结构和计算机程序的效率等；参与的讲座有美国印第安纳大学计算机科学系特聘讲座、LICS/MFPS联席会议等.
本书通过类型理论提供了编程语言基本知识的新观点.大多数教科书强调分类,而本书强调遗传学这一新的视角,可扩展的理论框架有直接的实际应用.读者仅需要初等数学的知识便可阅读此书.本书适合编程理论、计算机程序方面的研究人员、研究生阅读参考.
李亚宁,硕士研究生
（中国科学院自动化研究所）
LiYaning,Master
（InstituteofAutomation,CAS）