应用程序中输入错误-Haskell？

Question

类型Car =（字符串，[字符串]，整数，[字符串]）

carToString :: [Car] -> IO()
carToString [] = putStr ""
carToString (x:xs) = putStr x ++ "\n" : putStr xs ++ "\n"

displayAllCars :: IO ()
displayAllCars = putStr carToString testDatabase --< test data in the format of type Car

这给了我错误：

ERROR file:.\template.hs:26 - Type error in application
*** Expression     : putStr xs
*** Term           : xs
*** Type           : [([Char],[[Char]],Int,[[Char]])]
*** Does not match : [Char]

此错误的原因是什么，我该如何纠正？

Answer 1

试试吧

displayAllCars :: [Car] -> IO ()
displayAllCars = mapM_ (putStrLn . show)

自然，这可以概括为

putStrLnAll :: Show a => [a] -> IO ()
putStrLnAll = mapM_ (putStrLn . show)

我认为这可以满足您的需求。 您的代码几乎难以理解，因为函数的名称与它们的实际名称不匹配。

遍历汽车的示例：

iter [] = ?
iter x@(v1, v2, v3, v4):xs = do stuff with x (the car) and its values v1, v2, v3, v4 then call iter xs.

要将它们全部折叠成一个字符串，您可能想要类似（假设displayCar :: Car -> String存在）。 我再次在这里避免显式递归，而倾向于使用辅助函数。

displayAllCars = foldl' (\acc val -> acc ++ "\n" ++ val) []

但是，我们可以使用递归：（通常的警告适用于任何非尾部优化的递归函数。如果列表很大， 则会出现堆栈溢出。在生产代码中使用foldl'版本。或者，foldr是最好的如果可以接受向后列表。

displayAllCars [] = []
displayAllCars c:cs = displayCar c ++ "\n" ++ displayCar cs

Answer 2

当你写：

putStr x ++ "\n"

它将像这样解析：

(putStr x) ++ "\n"

这可能不是您想要的。 尝试

putStr ( x ++ "\n" )

还要注意：运算符的类型为-> [a]-> [a]，即第二个操作数必须为列表。 但是，您在左右有同样的事情：这将解释异常的错误消息，因为它会导致编译器将已经不正确的类型与其列表形式匹配..

Answer 3

除其他事项外，似乎尚未指出的一个问题是，您试图将putStr （期望[Char] ）应用于carToString （该函数即使在被赋予参数后carToString返回IO () ）。 由于carToString已经使用了putStr ，因此只需在displayAllCars删除putStr 。

Answer 4

尝试这个 ：

carToString :: [Car] -> [IO()]
carToString [] = [putStr ""]
carToString (x:xs) = putStr x ++ "\n" : carToString xs ++ "\n"

您不需要显示所有汽车。 您可以只调用carToString函数并传递Car列表