Haskell readFile: Impossible de faire correspondre le type attendu '[String]' avec le type réel 'IO String'

Question

J'essaie de lire un fichier dans une fonction pour calculer les fréquences de caractères dans un fichier. Donc, je suis en train de ce qui suit:

charCount :: String -> [(Char, Int)] 
charCount input = M.toList $ M.fromListWith (+) [(c, 1) | c <- input] 

calculate :: FilePath -> [(Char, Int)] 
calculate fp = do 
    c <- readFile fp 
    charCount c 

Mais je reçois l'erreur suivante:

FileWriter.hs:13:8: Couldn't match expected type ‘[String]’ … 
       with actual type ‘IO String’ 
    In a stmt of a 'do' block: c <- readFile fp 
    In the expression: 
     do { c <- readFile fp; 
      charCount c } 
Compilation failed. 

Answer 1

Depuis calculate appelle la fonction readFile qui retourne une valeur enveloppée dans la IO monade la fonction calculate doit retourner une IO valeur aussi, et le résultat de l'appel à charCount (un calcul pur) doit être return ed afin d'envelopper le [(Char, Int)] dans une monade.

L'exemple suivant travaillé dans ghc 7.10.1:

import qualified Data.Map as M 

charCount :: String -> [(Char, Int)] 
charCount input = M.toList $ M.fromListWith (+) [(c, 1) | c <- input] 

calculate :: FilePath -> IO [(Char, Int)] 
calculate fp = 
    readFile fp >>= \c -> 
    return (charCount c)