haskell - 数据构造函数中的多态回调

Question

我刚刚开始学习haskell。我有自定义类

class MyClass a where
  doSomething :: a -> ()

我可以在构造函数中编写具有多态回调的数据吗？

data MyData = MyConstructor {
  callback :: (MyClass m) => m -> () -- error
}

我想对函数参数进行约束。

Answer 1

简而言之，是的，您可以使用 Rank2Types 或 RankNTypes pragma。

因为您的数据类型是存在量化的。其实是

data MyData = MyConstructor (forall m. MyClass m => m -> ())

您需要更高的等级扩展。