在 Haskell 中区分 [Char] 和 [[Char]] 的问题

Question

所以我有这个函数应该返回一个字符串（或 [Char]）。这是它的一个非常简单的版本：

test :: Int -> Int -> [Char]
test n1 n2 = do
    if n1 >= n2 then return "return 1"
    else do
        (...)
        return "return 2"

现在据我了解，“return 1”和“return 2”是字符串。它们应该具有 [Char] 类型。但是由于某种原因，当我编译它时，出现以下错误：

Cards.hs:284:22: error:
    • Couldn't match type ‘[Char]’ with ‘Char’
      Expected type: [Char]
        Actual type: [[Char]]
    • In the expression: return "return 1"
      In a stmt of a 'do' block:
        if n1 >= n2 then return "return 1" else do return "return 2"
      In the expression:
        do if n1 >= n2 then return "return 1" else do return "return 2"
    |
284 |     if n1 >= n2 then return "return 1"

当程序将这些字符串识别为 [[Char]] 时，谁能告诉我？因为我也尝试过在返回之前连接返回值，当我这样做时，它识别为类型 [Char]。

Answer 1

当程序将这些字符串识别为[[Char]]时，谁能告诉我？

您正在使用do 块。这意味着您正在使用 monad。列表是一个单子。 return :: Monad m => a -> m a 将项目包装在单子上下文中。对于因此意味着您“返回”的值被包装在单例列表中的列表。

我建议不要在您了解 monad 之前使用 do 和 return，尤其是因为 return 与 Python 或 Java 等命令式语言的语义不同例子。

您可以在这里使用警卫并将其实现为：

test :: Int -> Int -> [Char]
test n1 n2
    | n1 >= n2 = "return 1"
    | otherwise = "return 2"