尝试实现 Data.Either

Question

为了帮助我学习 Applicative Functor 和 Functor，我认为了解如何使用类型类 Functor 和 Applicative 实现 Either 会很有趣。显然，我可以继续阅读代码，但我发现自己尝试和实现一些东西以更好地理解事物更有用。

仅供参考，我正在尝试实现本演示文稿结果的 Haskell 版本 http://applicative-errors-scala.googlecode.com/svn/artifacts/0.6/chunk-html/index.html

无论如何，这就是我所拥有的到目前为止，

 data Validation a b = Success a | Failure b deriving (Show, Eq)

 instance Functor (Validation a) where
     fmap f (Failure x) = Failure x
     fmap f (Success x) = Success (f x)

但是每当我尝试使用 ghci 运行它时，我都会收到以下错误消息： -

[1 of 1] Compiling Main             ( t.hs, interpreted )

t.hs:5:35:
    Couldn't match type `b' with `a1'
      `b' is a rigid type variable bound by
          the type signature for
            fmap :: (a1 -> b) -> Validation a a1 -> Validation a b
          at t.hs:4:5
      `a1' is a rigid type variable bound by
           the type signature for
             fmap :: (a1 -> b) -> Validation a a1 -> Validation a b
           at t.hs:4:5
    Expected type: a
      Actual type: b
    In the return type of a call of `f'
    In the first argument of `Success', namely `(f x)'
    In the expression: Success (f x)

t.hs:5:37:
    Couldn't match type `a' with `a1'
      `a' is a rigid type variable bound by
          the instance declaration at t.hs:3:30
      `a1' is a rigid type variable bound by
           the type signature for
             fmap :: (a1 -> b) -> Validation a a1 -> Validation a b
           at t.hs:4:5
    In the first argument of `f', namely `x'
    In the first argument of `Success', namely `(f x)'
    In the expression: Success

我不太确定这是为什么，有人可以帮忙吗？

Answer 1

您正在尝试使 Functor 实例在 Success 部分上工作，这是正常的事情，但由于类型参数的顺序，它正在被定义改为在 Failure 部分中的类型。

由于您已将其定义为

data Validation a b = Success a | Failure b

instance Functor (Validation a) where
    ...

这意味着您的 fmap 实现应具有类型 (x -> y) ->验证斧->验证 y。但由于第二个类型变量用于 Failure 情况，因此不会进行类型检查。

您希望成功案例的类型变量是最后一个：

data Validation b a = Success a | Failure b