被赋值给 x 的状态。顺序算符“;”被指示为函数复合。不动点构造被用来给予循环构造如“while”的语义。在建模有局部变量的程序的时候事情变得更加困难。一种途径是不在使用域，转而把类型解释为从世界的范畴到域的范畴的函子。程序被指示为在这些函子之间的自然连续函数。
数据类型的指称.很多编程语言允许用户定义递归数据类型。例如，数的列表的类型可以指定为本节只处理不能变更的泛函数据类型。常规编程语言将典型的允许这种递归列表的元素被变更。另一个例子: 无类型 lambda 演算的