Haskell实现makeMove返回IO()并打印嵌套列表及报错解决

fromPole、toPole两个函数的类型签名都要求列表元素实现Show类，才能将列表转为字符串输出，但makeMove的类型签名未给泛型参数a添加Show约束，编译器无法验证传入的a类型支持show操作，因此抛出该错误。

• 给makeMove的类型签名添加Show a约束，解决类型不匹配问题
• 调整输出字符串的拼接逻辑，替换原有的unwords实现，输出你需要的[[],[]]格式嵌套列表

toPole :: Show a => [a] -> [a] -> String
toPole fpole spole = show (head fpole : spole)

fromPole :: Show a => [a] -> String
fromPole fpole = show (tail fpole)

makeMove :: Show a => [a] -> [a] -> IO ()
makeMove [] _ = return ()
makeMove fpole spole = putStr $ "[" ++ fromPole fpole ++ "," ++ toPole fpole spole ++ "]"

调用makeMove [1,2,3] [4,5]会输出[[2,3],[1,4,5]]，符合要求的嵌套列表格式，需要自动换行的话可以把putStr替换为putStrLn。

如果你需要实际持有移动后的两个列表用于后续操作，而不只是打印结果，可以修改makeMove的返回类型，同时返回修改后的两个列表：

makeMove :: Show a => [a] -> [a] -> IO ([a], [a])
makeMove [] spole = return ([], spole)
makeMove fpole spole = do
  let newFpole = tail fpole
      newSpole = head fpole : spole
  putStr $ show [newFpole, newSpole]
  return (newFpole, newSpole)

内容的提问来源于stack exchange，提问作者Anders Stene