Haskell:IO[String]到[String][重复]

Question

现在这是一个已经经历了很多堆栈溢出的线程。这也被其他网站所覆盖，但我仍然无法完全理解。我从这个网站上读到了不同的东西，我在底部链接它们，但现在是问题。

像往常一样，我尝试从文件中读取行：

module BoardData where

readTable = do
  s <- readFile "projekt-board.txt"
  let content = lines s
  let removeEnd = init(content)
  let removeHead = tail(removeEnd)
  return removeHead

printTable [] = putStr ""
printTable [x] = putStrLn x
printTable (x:xs) = do
  let element = x
  putStrLn element
  printTable xs

我不明白为什么我没有得到一个IO[字符串]-

• 有没有办法在IO[String]类型上耍花招，可以访问IO[String]列表中的每个元素，然后创建一个新的纯元素
• 或者，我仍然可以使用IO[String]类型执行基本的列表操作（但是到目前为止，我的操作失败了）

我读过的一些阅读材料现在让我更加困惑：

• IOMonad适用于那些根本不在乎的人

^{[编辑：调用时抛出的错误]}

*BoardData> let it = printTable readTable in it

<interactive>:1:21: error:
    • Couldn't match expected type ‘[String]’
                  with actual type ‘IO [String]’
    • In the first argument of ‘printTable’, namely ‘readTable’
      In the expression: printTable readTable
      In an equation for ‘it’: it = printTable readTable

Answer 1

只需在do块中使用printTable来处理readTable生成的字符串：

readTable = do
  s <- readFile "projekt-board.txt"
  let content = lines s
  let removeEnd = init(content)
  let removeHead = tail(removeEnd)
  printTable removeHead

您不能从IO monaddo-块出到纯Haskell世界中获得纯值；但是您不需要。

IOdo-块中的每一行都必须具有相同的类型，IO a-a当然可以变化，但它必须具有相同的形式IO a。do块中最后一行的类型是整个do块的类型。例如，

 #> :t putStr ""
putStr "" :: IO ()

所以

printTable            :: String -> IO ()
           removeHead :: String
printTable removeHead ::           IO ()

适合。