问Haskell -为什么我不能映射到列表的排序和分组列表中？

EN

因为在Haskell中，函数调用类似于f x，而不是f (x)。当然，在许多情况下，f (x)也可以工作，但在这里，您基本上已经编写了：

listLengths xs = map length sort (group(xs))

或者更冗长：

listLengths xs = ((map length) sort) (group(xs))

因此，哈斯克尔认为sort是一个独立的参数，而group (xs)是一个额外的参数。但由于sort是一个函数，而不是一个列表，类型检查器将引发错误。

你可以这样写它：

listLengths :: [Int] -> [Int]
listLengths xs = map length (sort (group xs))

因此，我们在这里使用方括号来指定sort (group xs)是一个参数，该参数在具有函数map length :: [[a]] -> [Int]的函数应用程序中。

或者，我们可以使用一种无点方法，如：

listLengths :: [Int] -> [Int]
listLengths = map length . sort . group

在这里，我们使用(.) :: (b -> c) -> (a -> b) -> a -> c函数将函数“链接”在一起。请注意，这里没有xs参数。因此，我们构造了一个新函数，该函数首先将group应用于输入，然后将该函数的输出传递给sort函数，最后将该函数应用程序的输出传递给map length函数。

这将产生输出：

Prelude Data.List> listLengths xs = map length (sort (group xs))
Prelude Data.List> listLengths [1,3,5,5,3]
[1,1,1,2]

这并不完全是你想要的。这是因为现在我们构造为groups：[[1], [3], [5,5], [3]]，然后我们像[[1], [3], [3], [5, 5]]一样对它们进行排序，然后当我们计算每个子元素的length时，它将导致[1, 1, 1, 2]。

因此，您可能需要的是：

listLengths :: [Int] -> [Int]
listLengths = map length . group . sort