为什么字符串列表突然变成字符串列表？

Question

我有一个函数：

setDisplays :: Char -> [String] -> IO()
setDisplays mode dIds
    | mode == 'l' = chngDispl (head dIds)
    | mode == 'e' = chngDispl (tail dIds)
    where
      chngDispl on = mapM_ (\id -> callProcess "xrandr" ["--output", id, "--auto"]) on

获取带有 xrandr 提供的 Displays id 的字符串列表，看起来像 ["eDP1", "HDMI1"]。该列表通过绑定IO () 传递给setDisplays：

getDisplays >>= setDisplays 'e'

现在，我收到以下错误消息： parser.hs:50:37:

    Couldn't match type ‘Char’ with ‘[Char]’
    Expected type: [[String]]
      Actual type: [String]
    In the first argument of ‘head’, namely ‘dIds’
    In the first argument of ‘chngDispl’, namely ‘(head dIds)’
Failed, modules loaded: none.

我不明白。甚至 ghc-mod 都告诉我，第一次提到的名称 dIds 标识 [String]，当我在函数调用中使用 ghc-mod 进行类型检查时，它标识 [[[Char]]]。这里发生了什么？

Answer 1

如果dIds 是[String]，则head 的结果将是String，但chngDispl 期望[String]。这就是为什么编译器认为head 的参数应该是[[String]]。

将head dIds 包装在一个列表中，错误就会消失。

您通常应避免使用head 并改用模式匹配。你可以像这样重写你的函数：

setDisplays :: Char -> [String] -> IO()
setDisplays mode (id:ids)
    | mode == 'l' = chngDispl [id]
    | mode == 'e' = chngDispl ids
    where
      chngDispl on = mapM_ (\id -> callProcess "xrandr" ["--output", id, "--auto"]) on

请注意，如果列表为空，这将失败（但head 也会失败），您也应该处理这种情况。

Answer 2

您在dIds 上使用head 并希望它是[String]。因此，类型推断告诉我们，以这种方式使用的 dId 应该是 [[String]] 类型。

另外，您在下面一行的dIds 上使用tail。类型不匹配。