Haskell Główną funkcją

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] 

otrzymuję następujący błąd

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

Co robię źle?

Answer 1

Wszystkie funkcje w obrębie bloku do muszą być zgodne z zwracaną wartością monadyczną. Można zamiast pisać

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

Ponieważ print zwraca wartość IO. Podobnie, jeśli były przy użyciu Maybe monady, trzeba by zrobić coś takiego

-- 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 

To działa, ponieważ lookup i listToMaybe zarówno zwrócić Maybe, która jest wartością zwracaną ogólnej bloku do sposób określony przez typ podpis firstElementOf.

Patrząc na rodzaj qsort, tylko zwraca [a], nie IO something, więc nie może być stosowany bezpośrednio wewnątrz main „s zrobić blok. Można również przypisać wartość to wrócił do nazwy używając let:

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