给定一个列表，创建一个元组列表 SML

Question

您好，我是 Sml/nj 的新手，我正在尝试修改输入以将其提供给 function。 我一直在修改输入。

具体来说，我读取输入并将其存储在列表中。 我想制作一个 function 给定一个偶数长度列表，它将创建一个新列表，但带有 2 元素元组。
例如，如果我的输入是列表[2, 7, 4, 6, 5, 8]我想创建这个列表[(2, 7), (4, 6), (5, 8)]

我试过这个，但不幸的是它不起作用：

fun maketuples [] = []
  | maketuples x::xs = (x, hd xs) @ makektuples (tl xs)

Answer 1

这里有几件事：

• 如果您将构造函数上的模式匹配作为 function 参数，则需要在其周围加上括号，以便按照您想要的方式对其进行解析，即x::xs -> (x::xs)

• 您在第二个子句中有错字（ makektuples ; extra k）

• 您在int * int和(int * int) list上使用 append ( @ )。 这个 function 的域实际上是'a list * 'a list ，即它的两个 arguments 必须是相同类型的列表。

我们可以这样修改：

fun maketuples [] = []
  | maketuples (x::xs) = [(x, hd xs)] @ maketuples (tl xs)

但是 singleton append 并不是你应该做的事情。 为什么？ 只使用缺点更清洁：

fun maketuples [] = []
  | maketuples (x::xs) = (x, hd xs) :: maketuples (tl xs)

我们可以通过在 function arguments 中进一步破坏来删除对hd和tl的调用来进一步清理它

fun maketuples [] = []
  | maketuples (x::y::xs) = (x, y) :: maketuples xs

你也许可以更好地处理错误（一种可能性是有例外）：

fun maketuples [] = []
  | maketuples (x::y::xs) = (x, y) :: maketuples xs
  | maketuples _ = raise Fail "Not an even length list"