N 元组与对

在 Ocaml 中，具有不同元数的元组具有不同的类型和值构造函数：

# let a = (1, 2, 3);;
val a : int * int * int = (1, 2, 3)
# let b = (1, (2, 3));;
val b : int * (int * int) = (1, (2, 3))

请注意，第二个示例 (b) 比第一个示例 (a) 更灵活，因为 b - (2, 3) - 的“tail”本身就是有效值：

# let (_, c) = b;;
val c : int * int = (2, 3)
# let d = snd b;;
val d : int * int = (2, 3)

不将“(1, 2, 3)”解析为“(1, (2, 3))”而是为不同的参数引入无限（或者更糟糕的是，有限）数量的新类型和值构造函数的原因是什么？

不将“(1, 2, 3)”解析为“(1, (2, 3))”而是为不同的参数引入无限（或者更糟糕的是，有限）数量的新类型和值构造函数的原因是什么？

ML 类型系统的设计是为了追求更强的静态类型检查，以便在编译时捕获尽可能多的错误。

您的建议将大大削弱类型系统，因为它将不再能够区分(1, 2, 3) and (1, (2, 3))这是朝相反方向移动。

在实践中，我可以告诉你，机器学习所做的这种区分过去已经在我的生产代码中发现了真正的错误。我很看重这种背景下的机器学习设计。