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

Question

I am trying to make a list with Points (a datatype that I created), the idea is add an element in each iteration. Something is wrong.

I have tried to put p out of myLoop but it doesn't seems to work either.

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 

I am getting this output

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

First of all, do-notation is syntactic sugar with the following rules:

do x <- mA
   mB

roughly* desugars to mA >>= \x -> do mB , where mA has type Monad m => ma and do mB has type Monad m => mb for some types m , a , and b .

do mA
   mB

desugars to mA >> do mB , where mA has type Monad m => ma and do mB has type Monad m => mb for some types m , a , and b .

do a

desugars to a .

main is a special name that represents the entrypoint of the program, and it has type IO a for some type a . Because you define main = myLoop , myLoop must also have type IO a .

Therefore, in your myLoop function:

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 

the do -block is working with the type m = IO . Therefore, when you write p ++ [Point label (map getFloat coord)] , the typechecker expects a value of type IO c , for some type c .

However, p ++ [Point label (map getFloat coord)] has type [Point] , resulting in the type error Cannot match type '[]' with 'IO' .

As the type mismatch indicates, your code does not make sense. I assume that you want to append Point label (map getFloat coord) to p . ++ does not mutate p ; it creates a new list! Idiomatic Haskell uses recursion to achieve what you want. The most direct way of fixing your code would be to do the following:

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'

Here, myLoop takes p as a parameter and recursively passes an updated p to itself after reading input. main calls myLoop with an argument of [] , which is the initial value of p .

The Haskell Wikibook has a good explanation of do-notation . In general, I would recommend reading the Haskell Wikibook to better understand Haskell.

*I say "roughly" because these aren't the exact rules. The Wikibook article explains do-notation in depth.