haskell - 类型级别的类型类可以用更高级别的类型来模拟吗？

Question

我有一个可插入的运行时类型检查器，它支持参数但没有临时多态性，因为没有编译步骤，并且一旦类型检查器被停用，类型信息就会被删除。

现在我最近想出了用显式类型来具体化类型类的想法，这样我就可以在不必将底层机制完全合并到类型检查器中的情况下获得它们的一些优势:

data Functor f = Functor {fmap :: forall a b. (a -> b) -> f a -> f b}

mapList = Functor map
fmap (mapList) (+1) [1,2,3]

似乎类型类可以用 rank-2 类型模拟，至少在类型级别，因为当然仍然没有静态调度。

我的假设是否正确，并且由于我是 Haskell 新手，我的显式仿函数类型是否比仅使用 map 有任何优势？直接地？

Answer 1

用数据类型表示一个类的想法基本上是一个字典，实际上这几乎是 GHC 实现类型类的方式:一个受约束的多态函数/值

f :: Functor f => Y

在运行时由函数表示

_f_ :: FunctorDict f -> Y

在哪里 FunctorDict本质上是您的Functor Rank2-ADT(或 GADT)。

实际类型类的主要特别之处在于这些字典具有单例属性:对于每个类型构造函数 F , 只能有一个 instance Functor F , 而原则上你可以有多个不同的 FunctorDict F值(value)观。这有时实际上是一种优势，但通常只是一种负担，因为您需要明确地随身携带这些字典(GHC 可以自动选择它们，因为选择是明确的)，而且很难制定法律。