正如其他人的回答所说，有类型类之类的东西，但更重要的是，有一个普遍存在的接口：* 一个函数 *。在很多地方，一个面向对象的程序需要一些定制的接口，一个类似的函数程序可以只使用一个函数。例如，haskell中的map f xs使用f，而一个面向对象的程序可能使用一个策略或任何东西来完成同样的任务。

Haskell typeclasses在面向对象语言中扮演着与接口相同的角色。

函数签名（函数的输入和输出类型）沿着二阶函数（可以放入变量中的函数）承担了面向对象语言中接口的角色。只要函数签名与预期类型匹配，就可以用一个函数替换另一个函数。
例如，假设函数f有两个参数：一个整数a和一个函数g，其中函数参数g应该是一个接受int并返回str的函数：

fun f(a: int, g:int->str) -> int

通过声明参数g，您现在已经创建了一个接口，您可以为参数g传入任何与g签名匹配的函数。

Haskell中的data和newtype近似等于Java中的class。
Haskell中的class近似等于Java中的interface。