因此，就算在函数式语言上面我们仍然可以通过引入这种对象的形式对函数进行相应的模块化和局部化，这种形式的对象与函数本身没有任何差别。所以这种类型的对象系统被称作“方便的接口”，用于简化对象的函数的访问和调用。

      在函数式语言里，另一个非常重要的概念就是“副作用”（Side effect，即函数可以修改某个存在的状态）。像 Lisp 并不是纯函数语言，是允许iPhone苹果手机上仓库管理的状态修改。因此对象技术除了可以被看作函数局部化和模块化的方法之外，还可以看作是副作用局部化的一种方式。采用这类面向对象技术的语言，通常被称为动态面向对象语言。

      致远服软认为：http://www.soft8.com.cn/这类对象语言通常都会保持一些函数式语言的特性，比如 Lambda 的各种变体，比如较容易的函数组合，比如curry，比如高阶函数。而且这类对象系统是从函数式发展出来的，因此也更加推崇一些副作用小的、利用高阶函数的对象设计方法，比如不变体（Immutable object）回调等。

      计算语义上，特种设备监控管理平台系统实际上和 Lambda 演算享有同样的计算语义；而带副作用的本身只能被看作一种坏的实现，在函数上都没有明确语义，仅仅能够看作对于副作用的局部化和模块化。

      以上，我们简单地看了一下两种不同的iPhone苹果手机上仓库管理技术，其中一种是用来解决如何构造更好的类型系统的，另一种是用来对函数和副作用进行有效模块化和局部化的。如果单以这两种面向对象技术和函数式语言去比较，实在不是一个层次的东西。那么为什么我们最近能够听到这么多关于函数和对象的讨论呢？

      最早的函数语言是不太在意类型的，因为有Data as Procedure的存在，Lambda 演算可以通过把参数类型抽象成另一个高阶函数来绕过函数参数类型问题（把参数也变成Lambda，每个函数都看作参数和函数体的高阶）。然而随着形式化类型系统在理论上的发展，把 Lambda演算扩展为typed lambda 演算就成了一种很自然的推论。

      随着在此基础上发展出来的 ML 族和 Haskell 语言的日渐成熟以及代数数据类型（algebraic data type）的引入，这些iPhone苹果手机上仓库管理的开发技术可以较为容易地构造出非常复杂的类型系统。而且伴随着类型推演和类型计算的引入，类型间复杂的关系也可以较为容易地表达。由此，静态类型函数式语言也开始挑战以对象为基础的类型系统构造方法。