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 关键字 shorthand.

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

您似乎很满意：

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

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

下一位...

|    (x,y)::rest ->

获取列表的第一个元素（头）并将其从尾部分离出来。它还将作为元组的头元素解构为 2 个值 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

F# (F sharp) 解压缩功能解释

F# (F sharp) unzip function explained

f#

functional-programming

unzip