Применения putStr к каждому элементу списка

Question

Я пытаюсь напечатать список целых чисел в этом формате

[1] 
[2] 
[3] 

Так что моя функция принимает список целых чисел и возвращает IO() следующим образом:

import System.IO 

printVector :: [Integer] -> IO() 
printVector (x:xs) = putStr("[" ++ show(x) ++ "]" ++ "\n") : printVector xs 

Но GHC дает мне ошибку:

lin-test.hs:5:22: 
Couldn't match expected type `IO()' with actual type `[a0]' 
In the expression: 
    putStr ("[" ++ show (x) ++ "]" ++ "") : printVector xs 
In an equation for `printVector': 
    printVector (x : xs) 
     = putStr ("[" ++ show (x) ++ "]" ++ "") : printVector xs 
Failed, modules loaded: none. 

Теперь я понимаю, что функция будет работать по списку, сначала беря первый элемент «x», а затем с помощью: printVector xs он будет рекурсивно вызывать остальную часть списка, применяя одну и ту же функцию putStr к каждому элементу в списке.

Но я думаю, что моя проблема в том, где я делаю: printVector xs? Может ли кто-нибудь указать, что я делаю неправильно здесь?

Answer 1

Вам нужно перечислить список, но, поскольку это операции ввода-вывода, вам также необходимо выполнить их (поскольку map вернет список операций ввода-вывода без их выполнения, см. Следующий пример).

sequence $ map (putStrLn . show) [1,2,3,4] 

Существует функция, которая уже делает это, это mapM. Таким образом, пример можно упростить:

mapM (putStrLn . show) [1,2,3,4] 

Другая вещь, которую вы можете сделать, это с помощью mapM_, который использует sequence_ вместо этого и будет игнорировать результат выполнения действия ввода-вывода для каждого из элементов. Поэтому тип возврата будет IO() вместо IO [()] (предыдущий пример).

mapM_ (putStrLn . show) [1,2,3,4]