Question

我正在尝试为以下数据类型创建一个Functor实例：

data Event t a = Event { runEvent :: t -> ([a], Event t a) }

instance Functor (Event t) where
    fmap :: (a -> b) -> Event t a -> Event t b
    fmap f e = Event go
        where
            go t = (fmap f x, e')
                where
                    (x, e') = Event.runEvent e t

但是编译失败并出现以下错误：

E FRP.fr:11: type `γ` is not as polymorphic as suggested in
    the annotation where just `β` is announced.
E FRP.fr:11: type error in expression go
    type is : ([γ],Event α β)
    expected: ([γ],Event α γ)

我尝试添加一些类型注释来概括let绑定，但这不起作用。

Answer 1

所以我们有来电e::Event t a

将runEvent应用于e会让我们在元组的第二个元素中仍然有Event t a，是不是这样？但它应该是Event t b，对吗？

（错误很混乱，因为它出现了go并使用了在类型检查中使用的新类型变量go）

键入不像建议的多态

1 个答案: