1

我是 Haskell 的新手。我有以下类型：

type Variable = String
type Value = Float
type EvalError = [Variable]
type EvalResult = Either EvalError Value

我想创建一个函数，我将使用一个函数在 2EvalResult种类型上使用它，并相应地得到一个EvalResult。如果我得到 2 个值类型，我想对它们使用函数（例如 sum/sub），如果我得到 EvalError，我想返回 EvalError。

我做了什么：

evalResultOp :: (a -> b -> c) -> EvalResult a -> EvalResult b -> EvalResult c
evalResultOp f (Left a) (Left b) = Left (a ++ b)
evalResultOp f (Left a) (Right b) = Left a
evalResultOp f (Right a) (Left b) = Left b
evalResultOp f (Right a) (Right b) = Right (f a b)

错误：

hs3.hs:46:34: error:
    • Expecting one fewer arguments to ‘EvalResult’
      Expected kind ‘* -> *’, but ‘EvalResult’ has kind ‘*’
    • In the type signature:
        evalResultOp :: (a -> b -> c)
                        -> EvalResult a -> EvalResult b -> EvalResult c
   |
46 | evalResultOp :: (a -> b -> c) -> EvalResult a -> EvalResult b -> EvalResult c    |                                  ^^^^^^^^^^^^

    hs3.hs:46:50: error:
        • Expecting one fewer arguments to ‘EvalResult’
          Expected kind ‘* -> *’, but ‘EvalResult’ has kind ‘*’
        • In the type signature:
            evalResultOp :: (a -> b -> c)
                            -> EvalResult a -> EvalResult b -> EvalResult c
       |
    46 | evalResultOp :: (a -> b -> c) -> EvalResult a -> EvalResult b -> EvalResult c    |                                                  ^^^^^^^^^^^^

    hs3.hs:46:66: error:
        • Expecting one fewer arguments to ‘EvalResult’
          Expected kind ‘* -> *’, but ‘EvalResult’ has kind ‘*’
        • In the type signature:
            evalResultOp :: (a -> b -> c)
                            -> EvalResult a -> EvalResult b -> EvalResult c
       |
    46 | evalResultOp :: (a -> b -> c) -> EvalResult a -> EvalResult b -> EvalResult c    |
4

1 回答 1

3

问题是您将EvalResult类型定义为：

type EvalResult = Either EvalError Value

因为Either是一个类型构造函数，它接受两种类型，这意味着你现在已经构造了一个类型（没有任何类型参数）。如果你写一个带有 type signature 的函数(a -> b -> c) -> EvalResult a -> EvalResult b -> EvalResult c，那么 Haskell 最终将不得不构造 types EvalResult a ~ Either EvalError Value a，并且由于Either只接受两个类型参数，这是没有意义的。

我的猜测是你想定义

type EvalResult a = Either EvalError a

或更短：

type EvalResult = Either EvalError

现在EvakResult，它就像一个可以接受一个类型参数的类型构造函数，然后该函数确实适用于类型。

我们可以通过编写使实现更紧凑：

import Control.Monad(liftM2)

evalResultOp :: (a -> b -> c) -> EvalResult a -> EvalResult b -> EvalResult c
evalResultOp f (Left a) (Left b) = Left (a ++ b)
evalResultOp f x y = liftM2 f x y

liftM2 :: Monad m => (a -> b -> c) -> m a -> m b -> m c是一个适用于单子类型的函数m。Either a是一元类型，它定义为：

instance Monad (Either a) where
    return = Right
    (>>=) (Right x) f = f x
    (>>=) (Left l) _ = Left l

liftM2实现为：

liftM2 :: Monad m => (a -> b -> c) -> m a -> m b -> m c
liftM2 f xm ym = do
    x <- mx
    y <- my
    return (f x y)

这是语法糖：

liftM2 :: Monad m => (a -> b -> c) -> m a -> m b -> m c
liftM2 f xm ym = mx >>= (\x -> my >>= \y -> return (f x y))

所以基本上我们mx >>= (...)通过检查是否mx是 a来评估Right，如果是 a Left，我们返回 的内容Left。由于我们已经用两个Lefts 处理了这种情况，这种情况不再可能，所以我们知道第二个EvalResult是 a Right，在这种情况下，我们因此返回第一个Left。如果mx是 a Right x，我们现在检查my >>= (..)并检查 的状态my。如果my是 a Left，我们再次返回 that Left，否则，我们返回return (f x y)，因为return对于Either amonad，实际上是Right，因此我们将 的内容包装f x y在Right数据构造函数中。

于 2018-04-28T09:39:28.930 回答