从Rust转Haskell：Eq类型类中被作为高阶函数传递的是什么？

换句话说，方法不会在运行时被“查找”，而只是作为高阶函数传递。

首先明确这句话的核心：Haskell类型类的底层实现基于字典传递（Dictionary Passing），而非运行时动态查找——这就是“作为高阶函数传递”的本质。

Rust Trait与Haskell类型类的实现差异 #

Rust的trait默认采用单态化：编译器会为每个实现trait的具体类型生成独立的函数版本，调用时直接跳转到编译期已知的函数地址（对应你提到的j/jalr指令）。只有使用dyn时才会通过vtable做运行时查找。

而Haskell的类型类模型，核心是把类型类的所有方法打包成一个字典（Dictionary）——逻辑上的结构体，包含该类型对应类型类的所有方法实现。当你调用类型类方法时，编译器会自动将这个字典作为隐式参数传递给目标函数，而非直接生成单态化的函数版本（当然GHC会做单态化优化，但语言的核心语义是字典传递）。

具体到Eq类型类的情况 #

以Eq为例，它的字典结构大致如下（伪代码）：

data EqDict a = EqDict
  { eq :: a -> a -> Bool
  , neq :: a -> a -> Bool
  }

当你定义一个使用Eq的函数：

checkEqual :: Eq a => a -> a -> Bool
checkEqual x y = x == y

编译器会将其转换为接受EqDict作为参数的形式（伪代码）：

checkEqual :: EqDict a -> a -> a -> Bool
checkEqual dict x y = eq dict x y

这里被“传递”的就是EqDict，而字典中的eq方法本身就是一个高阶函数（接受两个a类型参数，返回Bool）。这就是那句话所指的“方法作为高阶函数传递”——并非单独传递方法，而是将包含高阶方法的字典作为隐式参数传递，完全避免了运行时的动态查找。

补充：单态化优化的存在 #

需要注意的是，GHC编译器会对已知具体类型的情况做单态化优化，直接将字典替换为具体的方法实现，跳过传递步骤。但这只是优化手段，Haskell类型类的核心语义依然是字典传递，这也是那句话想要表达的核心机制。

内容的提问来源于stack exchange，提问作者usb_naming_is_confusing