F#(F sharp)解压函数解释

Question

我正在学习使用 F# 的函数式编程的大学课程，但我一直对以下程序的逻辑流程感到困惑。有人愿意解释一下吗？

let rec unzip = function
    |    []          ->  ([],[])
    |    (x,y)::rest ->
               let (xs,ys) = unzip rest
               (x::xs,y:ys);;

所以这个程序应该获取一个对的列表，并输出一对列表。

[(1,'a');(2,'b')] -> ([1;2],['a','b'])

在我看来，就像参数（列表）为空的基本情况一样，给出了输出的格式，但我不明白第三行和第四行是如何评估的。

let (xs,ys) = unzip rest
(x::xs,y:ys);;

Answer 1

首先，这是一个递归函数 - rec 关键字是赠品:)。

这些可能很难让您了解，但在函数式编程中很常见。

我假设您对大部分模式匹配都没有问题，并且您知道function 关键字简写。

let rec unzip = function
    |    []          ->  ([],[])
    |    (x,y)::rest ->
               let (xs,ys) = unzip rest
               (x::xs,y:ys);;

你似乎很满意：

|    []          ->  ([],[])

给定一个空列表，返回一个包含 2 个空列表的元组。这不仅仅是一个保护子句，它稍后将用于停止递归程序永远运行。

接下来...

|    (x,y)::rest ->

获取列表的第一个元素（头部）并将其与尾部分开。它还将作为元组的头元素解构为两个值x 和y。

可以写成：

|    head::rest ->
          let x,y = head

现在是它自称的有趣部分：

let (xs,ys) = unzip rest
(x::xs,y:ys);;

通过一个示例了解每个步骤发生的情况可能会有所帮助：

unzip [(1,'a');(2,'b');(3,'c')]
 x = 1
 y = 'a'
 rest = [(2,'b'); (3,'c')]
 unzip rest
  x = 2
  y = 'b'
  rest = [(3,'c')]
  unzip rest
   x = 3
   y = 'c'
   rest = []
   unzip rest
     return [],[]
   xs = []
   ys = []
   return [x:xs],[y:ys]     # 3:[] = [3], 'c':[] = ['c']
  xs = [3]
  ys = ['b']
  return [x:xs],[y:ys]      # 2:[3] = [2,3], 'b':['c'] = ['b', 'c']
 xs = [2,3]
 ys = ['b','c']
 return [x:xs],[y:ys]       # 1:[2;3] = [1,2,3], ['a']:['b';'c'] = ['a', 'b', 'c']
done