Haskell 计算列表的元素

Question

我尝试创建这段代码来计算记录数量并打印它们，但我似乎无法使其工作，我不断收到有关将函数 reportReg 应用于一个参数但其类型 [String] 没有的错误。

report :: [[String]] -> String -> [String]
report (x:xs) typ = do
                    case typ of
                        "registrations" -> reportReg (map head xs)
                        "completions" -> reportReg (map head xs)

reportReg :: [String]
reportReg [x] = do
                    print x
                    print 1
reportReg (x:xs) = do 
                    let count = instances x (x:xs)
                    print x
                    print count
                    let newlist = filter (==x) (x:xs)
                    reportReg newlist

instances::String->[String]->Int
instances x [] = 0
instances x (y:ys)
    | x==y = 1+(instances x ys)
    | otherwise = instances x ys

另外，有没有更简单的方法来做到这一点？

Answer 1

问题：

您给了 reportReg 一种字符串列表类型：

reportReg :: [String]

这只是一个值，或者是一个包含 0 个参数的函数。这解释了你所得到的错误——试图给它一个参数，但它不需要任何参数。

解决方案：

• 看起来你想在reportReg中进行IO操作，所以你应该更改类型注释：

  reportReg :: [字符串] -> IO（）
  

-- or --

• 编写没有类型注释的函数，让 Haskell 为您推断它，然后将该注释复制下来

---

问题：

报告 的返回类型是错误的。它必须与reportReg 相同。但是reportReg :: String -> IO()，而report::[[String]] ->字符串 -> [字符串]！

几个可能的解决方案：

• 从reportReg中删除IO操作，使其类型为[String] -> [字符串]。我强烈建议这样做——任何语言中的 IO 总是一种痛苦，但 Haskell 的酷之处在于它让你感受到痛苦——从而激励你尽可能避免 IO！
• 将报告类型更改为[[String]] ->字符串 -> IO()

---

懒人的解决方案：

我将你的代码复制到一个文本文件中，删除注释（不做其他更改），并将其加载到ghci中：

Prelude> :load typef.hs 
[1 of 1] Compiling Main             ( typef.hs, interpreted )
Ok, modules loaded: Main.
*Main> :t report
report :: (Eq a, Show a) => [[a]] -> [Char] -> IO ()
*Main> :t reportReg 
reportReg :: (Eq a, Show a) => [a] -> IO ()
*Main> :t instances 
instances :: (Num t, Eq a) => a -> [a] -> t

它有效——Haskell 推断类型！ 但它可能不会达到您想要的效果。

Answer 2

我想我明白发生了什么事。

reportReg :: [String]

声明reportReg是一个字符串列表。但是您希望 reportReg 成为一个函数（在类型中用 -> 标记），它采用一个列表字符串：

reportReg :: [String] -> ???

现在唯一的问题是用什么来代替 ??? —— reportReg 返回什么？

这就是 Haskell 与其他语言的不同之处。它返回一个I/O 操作。它是一个将字符串列表映射到操作的函数——即，要做的事情，而不是要返回的值（所以它确实返回值——但该值的目的是描述要做什么） 。我们编写这种描述动作的值的类型IO()。所以：

reportReg :: [String] -> IO ()

Answer 3

其他人已经指出了您的错误原因，但我将评论您提出的其他问题：

另外，有没有更简单的方法来做到这一点？

是的，计算列表元素的简单方法是使用 length 函数。如果需要统计有多少个元素满足某个谓词，可以取过滤结果的长度。我不完全理解你的代码（例如，那个 typ 参数在做什么？），但这里有一个例子（可能不完全相同）：

reportReg :: [a] -> IO ()
reportReg [] = do return ()
reportReg xs = do print (head x)
                  print (count x xs)
                  reportReg (tail xs)

count :: a -> [a] -> Integer
count x xs = length (filter (==x) xs)

我建议的主要建议它从 do 块中提取尽可能多的代码（我上面的代码仍然可以在这方面进行改进）。尝试用纯代码完全解决您的问题，并仅使用 IO monad 来打印结果。