funzione principale Haskell

Question

module Main where 

qsort :: Ord a => [a] -> [a] 
qsort [] = [] 
qsort (x : xs) = qsort smaller ++ [x] ++ qsort larger 
       where 
        smaller = [a | a <- xs , a <= x] 
        larger = [a | a <- xs , a > x] 

main = do qsort [1,3,2] 

ottengo il seguente errore

Couldn't match expected type `IO t0' with actual type `[a0]'   
In the expression: main 
When checking the type of the function `main' 

Che cosa sto facendo di sbagliato?

Answer 1

Tutte le funzioni all'interno di un blocco do devono corrispondere al valore monadico restituito. Si potrebbe invece scrivere

main = do 
    print (qsort [1, 3, 2]) 

Perché print restituisce un valore IO. Allo stesso modo, se si sta utilizzando il Maybe Monade, che avrebbe dovuto fare qualcosa di simile

-- lookup :: Eq k => k -> [(k, v)] -> Maybe v 
-- listToMaybe :: [a] -> Maybe a 

firstElementOf :: Eq q => k -> [(k, [v])] -> Maybe v 
firstElementOf key assocMap = do 
    v <- lookup key assocMap 
    first <- listToMaybe v 
    return first 

Questo funziona perché lookup e listToMaybe entrambi restituiscono un Maybe, che è il valore di ritorno del blocco complessiva do come specificato dal tipo di firma di firstElementOf.

Guardando il tipo di qsort, restituisce solo [a], non IO something, quindi non può essere utilizzato direttamente all'interno main 's fanno blocco. Si potrebbe anche assegnare è restituito il valore di un nome utilizzando let:

main = do 
    let result = qsort [1, 3, 2] 
    print result