zip 函数还需要第二个列表，它如何仅使用一个参数列表

我开始学习 Haskell 并发现了一个很好的练习。如下：

grouping: Int -> [Student]->[(Team, Student)]
grouping teamNumber = zip ys
                      where ...

所以，练习要我尽量把剩下的填满。该函数应该执行以下操作： 例子 ：grouping 2 ['Mark','Hanna','Robert','Mike','Jimmy'] = [(1,'Mark'),(2,'Hanna'),(1,'Robert'),(2,'Mike'),(1,'Jimmy')].

因此，我们正在组建由两名学生组成的团队，而最后一名学生“吉米”没有队友。

然后，我还查找了预定义函数zip做。它获取两个列表参数，并将列表的每个元素连接到一个元组以构建元组列表。

我的想法： 1）我尝试构建两个函数“grab”和“infinite”。他们看起来如下：

grap :: Int -> [a] -> [a]
grab _ [] = []
grab n (x:xs) = if n <= 0 then [] else x : grab (n-1) xs  

infinite :: Num a => a -> [a]
infinite x = x : infinite(x+1)

所以，他们所做的是：infinite我想创建一个无限列表。和grap应该采取n的要素。例子grap 2 (infinite 1) = [1,2].

我在我的第一行使用这两个where- 履行上面给定功能的声明。 所以我有：

grouping: Int -> [Student]->[(Team, Student)]
grouping teamNumber = zip ys
                      where 
                      xs = grap teamNumber (infinite 1)

So, xs现在是我的第一个清单zip，尤其是整数列表。

但现在我的问题是：zip因为预定义函数还需要第二个列表，尤其是学生姓名列表，但在给定函数中，他们只给 zip 一个参数，即ys作为一个列表。我怎么能理解呢？

`分组 teamNumber` 的类型

仔细看看类型grouping :: Int -> [Student]->[(Team, Student)]，以及为其声明而声明的参数

grouping :: Int        -> [Student]->[(Team, Student)]
grouping    teamNumber =  ...

返回类型是什么（等号右侧的类型）如果grouping是否提供了等号左侧列出的所有参数？

Answer

等号右侧的类型是[Student]->[(Team, Student)]。在 Haskell 中，接受两个参数并返回结果的函数可以等效地视为或定义为接受第一个参数并返回 a 的函数（接受第二个参数并返回结果的函数）。所以我们可以说，例如，表达式

grouping 3 :: [Student]->[(Team, Student)]

(grouping 3)是一个函数，它获取学生列表并返回这些学生的列表，标记为 3 组。大概，如果(grouping 3)应用于您示例中的学生列表，我们会

(grouping 3) [   'Mark' ,   'Hanna' ,   'Robert' ,   'Mike' ,   'Jimmy' ] =
             [(1,'Mark'),(2,'Hanna'),(3,'Robert'),(1,'Mike'),(2,'Jimmy')]

`zip ys` 的类型

柯里化与以下类型和表达式有什么关系？

zip :: [a] -> [b] -> [(a, b)]
zip    ys

什么类型的zip ys例如，如果ys :: [Bool]?

这和你的问题有什么关系？

当您将其与类型一起考虑时grouping teamNumber，这如何告诉你什么类型ys需要在你的锻炼中吗？

把它们放在一起

从练习代码（忽略类型和where条款）我们有：

grouping teamNumber = zip ys

只能有两件事=在 Haskell 中，如果它们的类型能够统一。在这种情况下，类型grouping teamNumber必须与类型相统一zip ys.

从第一部分我们知道，grouping teamNumber is [Student]->[(Team,Student)].

从第二部分我们知道zip ys有类型[b] -> [(a, b)], where a是这样一种类型ys有类型[a].

因此，我们知道（~是 Haskell 中的类型相等）

[Student]->[(Team,Student)] ~ [b] -> [(a, b)]

如果我们用以下内容替换类型变量，这些将统一b and a

b ~ Student
a ~ Team

现在，我们知道了类型ys is [a]，如果我们进行相同的替换，则为[Team].

因此，如果满足以下条件，类型将是正确的：ys :: [Team].

结论

如果您能提供一个ys :: [Team]，您可以生成一个从学生到标记有其团队的学生的函数（[Student]->[(Team,Student)]）通过传递ys作为第一个参数zip。这样的函数正是grouping当它应用于单个参数时需要返回，teamNumber :: Int.