chức năng chính 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] 

tôi nhận được lỗi sau

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

Tôi đang làm gì sai?

Answer 1

Tất cả các chức năng trong khối do phải khớp với giá trị đơn nguyên được trả lại. Thay vào đó, bạn có thể viết

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

Vì print trả về giá trị IO. Tương tự như vậy, nếu bạn đang sử dụng Maybe đơn nguyên, bạn sẽ phải làm một cái gì đó giống như

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

này hoạt động vì lookup và listToMaybe cả trả về một Maybe, đó là giá trị trả về của do khối tổng thể theo quy định của các loại chữ ký của firstElementOf.

Nhìn vào loại qsort, nó chỉ trả về [a], không phải IO something, do đó không thể sử dụng trực tiếp trong khối của main. Bạn cũng có thể gán giá trị trả lại cho một tên bằng cách sử dụng let:

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