Haskell: Imprimer le contenu d'une liste de tuples

Question

Fondamentalement ce que je dois faire est d'écrire une fonction qui prend dans une liste de type [(String, String)] et imprime le contenu de sorte que, ligne par ligne, la sortie ressemble à ceci:

FirstString : SecondString 

FirstString : SecondString 

..etc, pour chaque élément de la liste. J'ai le code suivant et il l'imprime, mais pour une raison quelconque, il imprime une ligne contenant [(),()] à la fin.

display :: Table -> IO() 
display zs = do { 
    xs <- sequence [putStrLn (a ++ " = " ++ b) | (a, b) <- zs]; 
    print xs 
} 

Y at-il quelque chose que je fais mal?

Answer 1

L'impression finale xs est inutile. La séquence ici renvoie un tas de() s (la valeur de retour de putStrLn), et print l'imprime aussi.

Pendant que vous y êtes, maintenant que l'impression xs est parti, vous pouvez vous débarrasser de la liaison des variables xs et faire séquence dans sequence_ de jeter la valeur de retour, ce qui donne:

display :: Table -> IO() 
display zs = sequence_ [putStrLn (a++" = "++b) | (a,b) <- zs] 

Answer 2

Ecrire une fonction qui prend un tuple à une chaîne, formatée comme vous le souhaitez.
Puis concatMap cette fonction sur votre liste; imprime le résultat.

Answer 3

Vous pouvez même utiliser mapM:

display :: Table -> IO() 
display = mapM_ (\(a,b) -> putStrLn (a++" = "++b)) 

Answer 4

Je suis d'accord avec ja que vous devez diviser votre code pour deux fonctions:

• A pur partie: une fonction qui prend votre structure de données et le transforme en une chaîne
• impure partie, qui rend cette chaîne à la console

Voici une implémentation simple:

showTable :: Table -> String 
showTable xs = concatMap format xs 
    where 
    format (a, b) = a ++ " : " ++ b ++ "\n" 

display :: Table -> IO() 
display table = putStr (showTable table) 

Cette conception présente deux avantages:

D'une part, la plupart de votre `logique » est dans la partie pure du code, ce qui est agréable, dans une sorte de programmation fonctionnelle. Deuxièmement, et c'est juste un principe de génie logiciel simple; vous avez maintenant une fonction réutilisable que vous pouvez utiliser, si jamais vous voulez formater votre structure de données dans une autre partie de votre code (semble probable).