하스켈 - 왜 작동하지 않습니까? (IO 작업 wth 목록)

Question

combinationIO :: Int -> [a] -> IO [[a]] 
combinationIO 0 _ = return [[]] 
combinationIO _ [] = return [] 
combinationIO n (x:xs) = do res <- (map (x:) (combinationIO (n-1) xs)) ++ (combinationIO n xs) 
          putStrLn $ (show n) ++ show " : (" ++ show (x,xs) ++ show ") = " ++ show res 
          return res 

일부 사이트에서이 예제 (아래)를 보았고 작동하는 방식이 궁금해서이 작업에 IO 작업을 넣었습니다. 그러나 ghci는 나에게 유형 오류를줍니다. 문제가 무엇입니까?

combination2 :: Int -> [a] -> [[a]] 
combination2 0 _ = [[]] 
combination2 _ [] = [] 
combination2 n (x:xs) = (map (x:) (combination2 (n-1) xs)) ++ (combination2 n xs) 

Answer 1

가장 큰 문제는 [a]에 map 및 ++ 작업하지 IO [a] 그. 나는 당신이 원했던 것이 다음과 같다고 생각합니다 :

combinationIO :: Show a => Int -> [a] -> IO [[a]] 
combinationIO 0 _ = return [[]] 
combinationIO _ [] = return [] 
combinationIO n (x:xs) = do 
    res1 <- combinationIO (n-1) xs 
    res2 <- combinationIO n xs 
    let res = (map (x:) res1) ++ res2 
    putStrLn $ (show n) ++ " : (" ++ (show (x,xs)) ++ ") = " ++ (show res) 
    return res