Ocaml，理解一个函数

Question

我在理解这个函数如何工作时遇到一些问题， 特别是我不明白它的最后一行的控制流程。 有人可以用伪代码向我解释它的步骤吗？

    let traduit_pair a b =
            let a = traduit mark a in let b = traduit mark b in (a, b) in
    let (teq1, teq2, lneq) =
            let rec f l1 l2 l3 =
            (function
                 | [] -> ((Uplet l1), (Uplet l2), l3)
                 | EqualIF (a, b) :: fin ->
                     let (a, b) = traduit_pair a b
                     in f (a :: l1) (b :: l2) l3 fin
                 | NotEqualIF (a, b) :: fin ->
                         let (a, b) = traduit_pair a b
                     in f l1 l2 ((a, b) :: l3) fin)
            in f [] [] [] (List.rev condlst)

Answer 1

代码的一般流程如下：

首先定义函数traduit_pair。它接受两个参数 a 和 b 并返回一对，其中包含对每个参数应用传统标记 的结果。

然后定义变量 teq1、teq2 和 lneq，分别包含 f [] [] [ 返回的三元组中的一个元素] (List.rev condlst)，其中f定义如下：

首先我们看看f定义时为什么可以用四个参数来调用仅命名三个参数：正如您可能知道的，ML 允许柯里化函数定义和定义 let fxy = blabla 实际上只是 let f = fun x =>; 的快捷方式。有趣的y =>布拉布拉。

因此，当我们谈论一个带有两个参数的函数时，我们实际上是在谈论一个带有一个参数并返回另一个带有另一个参数的函数。同样，一个接受三个参数然后返回另一个接受另一个参数的函数的函数与接受四个参数的函数是一样的。

f 定义中使用的 function 关键字是创建采用参数和模式匹配的函数的语法快捷方式。也就是说 function | p1-> e1 | p2-> e2 是 fun x => 的快捷方式案例 x 的 | p1-> e1 | p2-> e2。所以让rec f l1 l2 l3 = function | p1-> e1 | p2-> e2 与 let rec f l1 l2 l3 = fun l4 => 相同案例 l4 | p1-> e1 | p2-> e2，与 let rec f l1 l2 l3 l4 = case l4 of | 相同p1-> e1 | p2-> e2，很容易将其识别为带有四个参数的函数。