function - 从一个函数返回两种不同的类型

Question

如何从单个函数返回多种类型的值？

我想做这样的事情:

take x y  | x == []   = "error : empty list"
          | x == y    = True
          | otherwise = False

我有命令式语言的背景。

Answer 1

有一个名为 Either 的类型构造函数，它允许您创建可以是两种类型之一的类型。它通常用于处理错误，就像在您的示例中一样。你会像这样使用它:

take x y | x == []   = Left "error : empty list"
         | x == y    = Right True
         | otherwise = Right False

take 的类型将类似于 Eq a => [a] -> [a] -> Either String Bool。 Either 用于错误处理的约定是，Left 代表错误，Right 代表正常返回类型。

当你有一个 Either 类型时，你可以对其进行模式匹配以查看它包含哪个值:

case take x y of
  Left errorMessage -> ... -- handle error here
  Right result      -> ... -- do what you normally would