在函数式编程中，函数是否有一个取x并返回元组(x，x)的名称？

Question

我想知道函数是否有一个常用的术语，在ML-族语言中将值转换为tuple-2，还是更一般的函数式编程语言？

let toTuple2 x = (x, x)

Answer 1

我不知道那个特定函数的名字。

然而，这一职能可以看作是一种更为普遍的特殊情况：

let applyCtorToXX c x = c x x

实际上，您可以验证toTuple2是否等同于applyCtorToXX (,)。

在组合逻辑中，或者至少在模仿一只知更鸟中它是如何表示的，这样的函数被命名为"莺鸟"，并使用符号W (即Wxy = xyy是书中使用的定义)。

从这个角度来看，您的toTuple2是W (,)，它是莺对二元组构造函数的应用程序。

Answer 2

在基于堆栈的编程语言 (如Forth )中，dup是一个核心操作符，它确实复制了顶级堆栈元素(但并不完全是一个元组)。

在Haskell中，各种包提供函数名为dup、dupe或double。注意，两个元组也是箭头和dup = id &&& id的核心元素。

我没有发现任何特定的ML。