Haskell IO код не typecheck

Question

Я начинаю с Haskell, и мне трудно понять какой-то код. Что мне нужно сделать, чтобы получить типы прямо в этой секции ввода-вывода моего кода?

Заранее спасибо.

loadPeople :: FilePath -> IO [Person] 
loadPeople file = do 
    lines <- getLines file 
    map parsePerson lines 

getLines :: FilePath -> IO [String] 
getLines = liftM lines . readFile 

parsePerson :: String -> Person 
parsePerson line = ........... 

map подчеркнуты красным Leksah, и ошибка компиляции я получаю это:

src\Main.hs:13:3: 
    Couldn't match expected type `IO [Person]' 
      against inferred type `[Person]' 
    In the expression: map parsePerson lines 
    In the expression: 
     do { lines <- getLines file; 
      map parsePerson lines } 
    In the definition of `loadPeople': 
     loadPeople file 
        = do { lines <- getLines file; 
          map parsePerson lines } 

Answer 1

map parsePerson lines имеет тип [Person], но так как вам нужно тип результата loadPeople является IO [Person], что вам нужно обернуть его в IO с помощью return:

return $ map parsePerson lines