概念机器
概念机器是计算机的抽象表征,可以借此分析计算机执行的操作。
程序员不仅经常借助概念机器推理计算机的运行方式,而且往往用它来分析代码。例如,虽然并不存在能够出存储数值的实体,但程序员还是会将变量描述为“保存”值的实体,类似与把变量比作存放值的盒子的心智模型。
概念机器可以扩展
在学习基本类型时,程序员可能把变量看作存放值的一个盒子;而在接触到符合类型后,程序员可能把数组看作一摞盒子,每个盒子存放一个简单值。
不同的概念机器可能催生出相互矛盾的心智模型
例如,将变量描述为盒子的概念机器不同于将变量描述为名称标签的概念机器,二者无法合并为一个一致的模型。
图式
程序员可以截止概念机器将现有的图式应用于编程,从而帮助自己理解编程概念。