许多现存的语言都可以基于其计算模型加以分类，归入某些语言族中。图1.1显示了一些常见的语言族。最上面一层区分了说明式语言（其中关注的是计算机做什么）和命令式语言（其中关注计算机如何去做要求它做的事情）。从某种角度看，说明式语言“级别更高”，因此它们更贴近程序员的观点，距离实现者的观点更远一些。当然，命令式语言现在占据着统治地位，主要还是性能的原因。设计说明式语言时，人们既希望摆脱“无关”的实现