在SML中添加两个元组

在SML中添加两个元组,sml,smlnj,Sml,Smlnj,SML中是否有一个函数可以添加两个长度相等的元组,如(3,1,2)和(4,3,1),然后返回(7,4,3) 谢谢不,没有这样的功能 如果不对长度进行硬编码,也无法自己编写一个,也就是说,您可以编写一个长度为2的两个元组的函数或一个长度为3的两个元组的函数,但不可能编写一个长度为任意(但相等)的两个元组的函数。SML的类型系统根本不允许像这样对元组长度进行抽象 对于特定长度,您当然可以自己轻松定义: fun addPairs (x1, y1) (x2, y2) = (x1 + x2, y1 + y

SML中是否有一个函数可以添加两个长度相等的元组,如(3,1,2)和(4,3,1),然后返回(7,4,3)


谢谢

不,没有这样的功能

如果不对长度进行硬编码,也无法自己编写一个,也就是说,您可以编写一个长度为2的两个元组的函数或一个长度为3的两个元组的函数,但不可能编写一个长度为任意(但相等)的两个元组的函数。SML的类型系统根本不允许像这样对元组长度进行抽象

对于特定长度,您当然可以自己轻松定义:

fun addPairs (x1, y1) (x2, y2) = (x1 + x2, y1 + y2)