编程语言一方面联系着计算机硬件；
另一方面联系着对可计算世界的描述；
描述能力和硬件充分使用能力是编程语言的衡量标准。
编程语言的类型构成了编程世界观的基本要素；
语言的函数规则定义了这个世界观的基本运行方式。