Haskell konnte nicht Typ [char] mit tatsächlichen Typ IO

Question

erwartet Partner I Lernen Haskell gerade erst begonnen, und ich bin auf unter einen Haufen von anderen auf diesem Fehler stecken

Ich versuche, alle Zeichen zu drucken in der Char-Liste rekursiv mit diesem Code

printall :: [Char] -> [Char] 
printall "" = "" 
printall (i:is) = if is /= "" then print i else printall is 

main = printall "hello world" 

aber ich bekomme diesen Fehler konnte mir jemand helfen?

intro.hs:14:36: error: 
• Couldn't match expected type ‘[Char]’ with actual type 
‘IO()’ 
• In the expression: print i 
    In the expression: if is /= "" then print i else printa 
ll is 
    In an equation for ‘printall’: 
     printall (i : is) = if is /= "" then print i else p 
rintall is 

intro.hs:16:1: error: 
• Couldn't match expected type ‘IO t0’ with actual type ‘ 
[Char]’ 

Answer 1

Wie Sie oben in einem Kommentar sagte, jeder Zweig der if-Klausel sollte die gleiche Art haben, in der Tat.

Außerdem muss main Funktion haben immer IO a Typ, für einige a, die in der Regel () ist. Dies bedeutet, dass die Art Signatur für printall sein sollte:

printall :: [Char] -> IO() 

, die die gleiche ist wie:

printall :: String -> IO() 

Answer 2

print Typ ist print :: Show a => a -> IO()

aber Ihre printall Typ ist printall :: [Char] -> [Char], davon ausgehen, es ist das, was Sie wollen.

Der Ausdruck if x then y else z müssen die gleiche Art für y und z