为什么这个 Haskell 不正确？

Question

我有一个 Haskell 文件，如下所示：

longest::[Integer]->[Integer]->[Integer]
max a b = if length a > length b then a else b

llfs::[Integer]->Integer
llfs li = length(foldl longest group(li))

llfs([1, 2, 3, 3, 4, 5, 1, 1, 1])

应该在最后打印出函数调用的结果，但是当我运行该文件时，我收到此错误：

parse error (possibly incorrect indentation)

我不明白我做错了什么。我应该做什么来修复它？

---

编辑

将最后一行放入主函数后，如下所示：

import List

longest::[Integer]->[Integer]->[Integer]
longest a b = if length a > length b then a else b

llfs::[Integer]->Integer
llfs li = length(foldl longest group(li))

main = print (llfs [1, 2, 3, 3, 4, 5, 1, 1, 1])

我现在收到以下错误：

C:\Users\Martin\Desktop\Haskell\Q1.hs:7:31:
    Couldn't match expected type `[Integer]'
           against inferred type `[a] -> [[a]]'
    In the second argument of `foldl', namely `group'
    In the first argument of `length', namely
        `(foldl longest group (li))'
    In the expression: length (foldl longest group (li))

这个看起来有点困难！我该如何解决？

Answer 1

你的代码不正确。

这

longest::[Integer]->[Integer]->[Integer]
max a b = if length a > length b then a else b

应该是

longest::[Integer]->[Integer]->[Integer]
longest a b = if length a > length b then a else b

你需要一个 main 函数

main = do print llfs([1, 2, 3, 3, 4, 5, 1, 1, 1])

只是为了改进你的代码，如果你有一个函数签名并给它一个小写字母作为它的类型（比如字母 a），它就会变得通用。例如，

longest:: [a] -> [a] -> [a]
longest x y = if length x > length y then x else y

这意味着它不仅仅可以处理整数列表，还可以处理任何内容的列表。突然间你就拥有了一个非常可重用的函数。

Answer 2

在该行中，

llfs li = length(foldl longest group(li))

解释器将 group 视为 foldl 的第二个参数。编写 group(li) 与编写 group li 没有什么不同。

另外，foldl 需要一个初始值。另一方面，foldl1 使用第一个列表元素作为其初始值。尝试：（

llfs li = length (foldl1 longest (group li))

编辑以删除第一个错误答案。）

Answer 3

module Main where

import Data.List

longest::[Integer]->[Integer]->[Integer]
longest a b = if length a > length b then a else b

llfs::[Integer]->Int
llfs li = length $ foldl1 longest $ group li

main = do
    putStrLn $ show $ llfs [1, 2, 3, 3, 4, 5, 1, 1, 1]

Answer 4

问题是最后一行没有定义函数，正如其他人所说。您的代码中还有更多错误。看来这就是您想要做的：

import Data.List

longest_group_size :: [Integer] -> Int
longest_group_size = maximum . map length . group

main :: IO ()
main = print $ longest_group_size [1, 2, 3, 3, 4, 5, 1, 1, 1]

观察：

1. 您需要 import Data.List 以便使用 组。
2. 无需使用 foldr 在这种情况下：通过使用 map每组的长度只计算一次。
3. 当然，这确实意味着我们需要调用另一个函数的帮助，最大值。

Answer 5

您无法像在 python 或其他脚本语言中那样在文件范围内调用函数。因此，最后一行中对 llfs 的“调用”是一个错误。尝试在 main 中打印结果：

main = print (llfs [1, 2, 3, 3, 4, 5, 1, 1, 1])

此时“函数调用”看起来像是一个不完整的函数定义，缺少右侧，这导致了令人惊讶的错误消息：

llfs (...) = abc

Answer 6

问题是这一行：

llfs([1, 2, 3, 3, 4, 5, 1, 1, 1])

That's not a function statements.我认为您正在尝试进行函数调用，在这种情况下您需要将其放在 main 声明中。您还可以将 Haskell 文件加载到解释器中（例如，ghci）并在解释器控制台中执行函数调用。

Answer 7

这不是这两个错误的直接原因，但我认为这是造成您误解的一个因素。在 Haskell 中，你永远不会写group(li)。将单个参数括起来是没有意义的——它完全等同于group li。如果您尝试将此函数调用的结果传递给另一个函数，则需要将整个表达式括起来 - (group li) - 或使用 $ 运算符，例如迦勒提议道。

Answer 8

更新的两个小问题。首先，您似乎正在尝试将 group 结果作为参数传递给 foldl。正确的说法是 (group li) 而不是 group(li) 第二个是 foldl 需要一个基本情况。 Caleb 建议使用 foldl1 是一个可能适合您的选项。