编程语言的实用基础

编程语言俗称“计算机语言”，种类非常的多，总的来说可以分成机器语言、汇编语言、高级语言三大类。电脑每做的一次动作，一个步骤，都是按照计算机语言编好的程序来执行的。程序是计算机执行的指令集合，而程序全部都是用我们所掌握的语言来编写的。所以人们要控制计算机，一定要通过计算机语言向计算机发出命令。类型是编程语言理论的核心组织原则，本书中，作者通过使用类型理论为这些语言提供了一个全新的视角。