하스켈 주요 기능

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] 

내가받을 다음과 같은 오류 내가 잘못 뭐하는 거지

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

?

Answer 1

do 블록 내의 모든 함수는 반환되는 모나드 값과 일치해야합니다. print가 IO 값을 반환하기 때문에 대신

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

을 작성할 수 있습니다. 당신이 Maybe 모나드를 사용한다면 마찬가지로, 당신은 lookup와 listToMaybe 모두 유형에 지정된대로 전체 do 블록의 반환 값을하는 Maybe을 반환하기 때문에 작동

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

같이해야 할 것이다 서명은 firstElementOf입니다.

유형을 보면 qsort이며 이 아닌 [a] 만 반환하므로 main 님의 블록에서 바로 사용할 수 없습니다. let을 사용하여 이름에 반환 된 값을 할당 할 수도 있습니다.

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