既然我们有纯过程编程语言，那么有没有纯OOPS的编程语言？
某些函数式语言具有面向对象的特性。
其中一些语言是纯函数式的：
- 木材(哈斯克尔的延伸(
有些可以用作纯粹的功能，但也支持程序样式：
- OCaml(Caml和Caml光的扩展(
- CLOS(Lisp的扩展(
William Cook在《重新审视理解数据抽象》一书中说：">迄今为止定义的最纯粹的面向对象编程模型之一是组件对象模型"(Microsoft COM(，因为没有办法检查对象的表示，没有内置的相等概念，也没有办法确定对象是否是给定类的实例。