，即对象（），以及运行于该对象的函数（）和方法（）。除了何时以及如何确定表达式和型态的联系，另外一个重要的问题就是语言到底定义了哪些型态，以及允许哪些型态作为表达式的值。诸如C编程语言之类的低端语言允许程序命名内存位置、内存区域以及编译时的常量；ANSI C甚至允许表达式返回结构值（）。功能性的语言一般允许变量直接使用运行时计算出的值，而不是指出该值可能储存的内存地址。常见的数据结构：
指令及流程控制.一旦数据被确定，机器必须被告知如何对这些数据进行处理。较简单的指