Afficher le type de chaque résultat dans GHCi

Question

Comment afficher le type de l'expression résultante dans GHCi après chaque commande? Par exemple, au lieu de

ghci> "hello" ++ " world" 
"hello world" 

Je veux voir

ghci> "hello" ++ " world" 
"hello world" :: String 

ou au moins

ghci> "hello" ++ " world" 
"hello world" :: [Char] 

REPLs pour d'autres langues offrent un tel comportement par défaut. Mais je ne peux pas trouver proper ghci option pour un tel comportement. Il sera également bon pour moi d'imprimer simplement le type it après avoir exécuté chaque commande. Mais je n'ai pas trouvé un moyen d'appeler mes commandes après chaque commande ghci. Eh bien, la commande sensible: let ... = ... n'a pas de résultat (bien que ce serait bien d'imprimer le type de variable définie). Alors, quelles sont les façons d'afficher le type de résultat automatiquement après chaque commande?

Answer 1

Ajouter :set +t-.ghci.

De documentation:

+t 
    Display the type of each variable bound after a statement is entered at the prompt. 
    If the statement is a single expression, then the only variable binding will be for 
    the variable ‘it’.