Haskell 中的“无法将类型‘[]’与‘IO’匹配”错误

Question

我正在尝试使用 Points（我创建的一种数据类型）创建一个列表，其想法是在每次迭代中添加一个元素。出了点问题。

我试图将p 排除在myLoop 之外，但它似乎也不起作用。

main = myLoop 
myLoop  = do 
            let p = []
            done <- isEOF
            if done
              then putStrLn ""
              else do inp <- getLine
                      let (label:coord) = words inp
                      p ++  [Point label (map getFloat coord)]
                      -- print (pointerList)
                      myLoop 

我得到这个输出

trabalho.hs:30:23: error:
    • Couldn't match type ‘[]’ with ‘IO’
      Expected type: IO Point
        Actual type: [Point]
    • In a stmt of a 'do' block:
        p ++ [Point label (map getFloat coord)]
      In the expression:
        do inp <- getLine
           let (label : coord) = words inp
           p ++ [Point label (map getFloat coord)]
           myLoop
      In a stmt of a 'do' block:
        if done then
            putStrLn ""
        else
            do inp <- getLine
               let (label : coord) = ...
               p ++ [Point label (map getFloat coord)]
               ....
   |
30 |                       p ++  [Point label (map getFloat coord)]
   |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Answer 1

首先，do-notation 是语法糖，具有以下规则：

do x <- mA
   mB

大致* 对mA >>= \x -> do mB 进行脱糖，其中mA 的类型为Monad m => m a，do mB 的类型为Monad m => m b，某些类型为m、a 和b。

do mA
   mB

去糖到mA >> do mB，其中mA 的类型为Monad m => m a，do mB 的类型为Monad m => m b，对于某些类型m、a 和b。

do a

去糖到a。

main 是代表程序入口点的特殊名称，对于某些类型 a，它的类型为 IO a。因为您定义了main = myLoop，所以myLoop 也必须具有IO a 类型。

因此，在您的myLoop 函数中：

myLoop  = do 
            let p = []
            done <- isEOF
            if done
              then putStrLn ""
              else do inp <- getLine
                      let (label:coord) = words inp
                      p ++  [Point label (map getFloat coord)]
                      -- print (pointerList)
                      myLoop 

do-block 正在使用 m = IO 类型。因此，当您编写 p ++ [Point label (map getFloat coord)] 时，类型检查器需要 IO c 类型的值，对于某些类型 c。

但是，p ++ [Point label (map getFloat coord)] 的类型为 [Point]，导致类型错误 Cannot match type '[]' with 'IO'。

正如类型不匹配所表明的那样，您的代码没有意义。我假设您想将Point label (map getFloat coord) 附加到p。 ++ 不会 变异 p;它创建一个新列表！惯用的 Haskell 使用递归来实现你想要的。修复代码最直接的方法是执行以下操作：

main = myLoop []
myLoop p = do
    done <- isEOF
    if done
    then putStrLn ""
    else do inp <- getLine 
            let (label:coord) = words inp
            let p' = p ++  [Point label (map getFloat coord)]
            myLoop  p'

这里，myLoop 将p 作为参数，并在读取输入后递归地将更新后的p 传递给自身。 main 调用myLoop，参数为[]，即p 的初始值。

Haskell Wikibook 有a good explanation of do-notation。一般来说，我建议阅读 Haskell Wikibook 以更好地理解 Haskell。

*我说“大致”是因为这些不是确切的规则。 Wikibook 文章深入解释了 do-notation。