Haskell: les mots comptent à partir d'un getLine sans la notation "do"

Question

Comment écrire la fonction suivante sans utiliser la notation "do"?

wordsCount = do 
    putStr "Write a line and press [enter]:\n" 
    s <- getLine 
    putStr $ show $ length . words $ s 
    putChar '\n' 

Answer 1

Au lieu d'utiliser do, vous pouvez utiliser >> et >>=:

wordsCount = putStr "Write a line and press [enter]:\n" >> getLine >>= putStr . show . length . words >> putChar '\n' 

Ou ce qui rend plus facile à lire:

wordsCount = putStr "Write a line and press [enter]:\n" >> 
    getLine >>= 
    putStr . show . length . words >> 
    putChar '\n' 

Une traduction plus straight-forward serait:

wordsCount = putStr "Write a line and press [enter]:\n" >> 
    getLine >>= 
    \s -> (putStr $ show $ length $ words s) >> 
    putChar '\n' 

Fondamentalement, le compilateur convertit do -notation blocs à son équivalent monadique (en utilisant seulement >> et >>=). do est seulement sucre syntaxique de telle sorte que l'on n'a pas besoin d'écrire >>= à chaque fois et/ou des variables de gestion.

Notes complémentaires:

• comme @ChadGilbert dit dans his comment, la parenthèse doit être enroulé autour de la fonction, à l'exclusion de la \s -> telle que la s peut être utilisé plus tard dans le programme, par exemple :

  -- This is not an equivalent program 
  wordsCount = putStr "Write a line and press [enter]:\n" >> 
      getLine >>= 
      \s -> (putStr $ show $ length $ words s) >> 
      putChar '\n' >> 
      putStrLn s -- repeat s 
  

• Au lieu d'utiliser putStr et putChar, vous pouvez utiliser putStrLn . Par exemple:

  wordsCount = putStr "Write a line and press [enter]:\n" >> 
      getLine >>= 
      putStrLn . show . length . words