在标准库中，add函数具有以下签名：
val add : elt -> t -> t
所以我可以使用管道运算符添加元素：
Set.empty |> add elt1 |> add elt2
但是，当我切换到 Core 时，我注意到 add 的签名已变为：
val add : ('a, 'cmp) t -> 'a -> ('a, 'cmp) t
现在 set 成为第一个参数。旧的管道样式不再适用于它。
使用核心集添加元素的惯用方法是什么？
不要使用管道来混淆函数应用程序！
管道有充分的理由存在，即构建管道，但在您的示例中，您只是滥用和混淆您的代码。
如果你只想将两个元素添加到一个集合中，只需编写
Set.(add (add empty a) b)
它是完全干净和清晰的。 如果要添加更多元素，您可以通过使用折叠函数来提高可读性：
List.fold_left Set.add Set.empty [a; b; c; d; e; f]
我们可以推测，Jane Street 精确地更改了 Set.add 的签名，以将其与尾递归的List.fold_left一起使用，而应该与标准库中的集合一起使用的List.fold_right不是尾递归的。
Jane Street在这篇博文中将这种设计选择解释为t comes first规则。基本上关键是没有好的选择。有时t先，有时排在最后是有用的。也许他们选择的主要好处是这是一个决定。正如他们在引言中所说，有时决定的好处是避免浪费时间一直思考这个问题。
更直接地回答你的问题，我会说没有惯用的解决方案。写任何你觉得直观的东西。在其他答案中已经给了你一些建议。不要滥用管道操作员。如果要添加更多项目，请使用fold。我会避免flip;你混淆了代码而不使其更简洁（但我有时也会使用它）。
最后，请注意，Core使用标记参数的额外设计选择通常可以完全解决这个问题。例如，他们的List.fold也首先取t，但其他参数被标记。因此，您实际上可以将t放在任何您喜欢的地方，使List.fold既可以使用管道，也可以使用管道。所以人们可能会问他们为什么不让Set.add签名t -> elt:elt -> t。好吧，标签也是一个额外的开销;它们会导致您键入更多字符。到处使用它们将是极端的，他们认为没有标签的这个功能更好。
玩了几分钟后，我能想到的最好的就是用flip来反转参数顺序。
let flip f a b = f b a
然后你可以写：
Set.empty |> flip add elt1 |> flip add elt2
上次我检查时，flip在 Core 中可用作为Fn.flip.
（一般来说，没有参数顺序在所有情况下都是最好的。您最终可能会认为核心顺序在某些方面确实很棒。