来自 2 个列表 SML 的交替元素

Question

我的 SML 代码在交替 2 个列表元素时遇到了困难。 我必须创建一个最终列表，该列表将采用 2 个相同大小的列表并交替它们的元素。 一个例子是alternate([1,3,5],[2,4,6]) = [1,2,3,4,5,6]我不确定我的代码哪里出错了。 任何帮助将不胜感激。 这是我目前拥有的代码

fun alternate2([],y) = []
    | alternate2(a::x,y) = 
    if length listx = length listy then
        if countListx = countListy then (List.nth(listx, countListx)::alternate2(x,y); count(countListx))
        else if countListx <> length listx - 1 then 
            if countListy < countListx then (alternate2(x, a::y); count(countListy))
            else alternate2(x,y)
        else alternate2(x,y)
    else alternate2(x,y);

Answer 1

您可以完全使用模式匹配和递归来完成此操作，而无需使用length 、 if-then-else或= 。 由于这个练习很小，我发现如果不给出答案就很难给出文字提示，所以我将尝试以类似的方式解决一个类似的练习：

给定一个 function f: 'a * 'b -> 'c和两个列表xs: 'a list和ys: 'b list ，我可以通过将'z list f应用于每对(x, y)其中每个x来自xs并且每个y来自ys 。 如果一个列表比另一个长，我将丢弃多余的元素。

fun zipWith (f, x::xs, y::ys) = f (x, y) :: zipWith (f, xs, ys)
  | zipWith (_, [], []) = [] (* end of both lists *)
  | zipWith (_, xs, []) = [] (* xs is longer, discard it *)
  | zipWIth (_, [], ys) = [] (* ys is longer, discard it *)

由于最后三种情况的响应都是相同的，我也可以写：

fun zipWith (f, x::xs, y::ys) = f (x, y) :: zipWith (f, xs, ys)
  | zipWith (_, _, _) = [] (* either one or both lists are empty *)

您的 function alternate2的行为非常相似，除了每一步的计算不是f (x, y)因为您自然没有f 。 此外，在您的alternate2情况下，每对x和y不应产生单个元素，而是连续产生两个元素。

- zipWith (op+, [1,2,3], [10,20,30]);
> val it = [11, 22, 33] : int list

Answer 2

有几种方法可以做到这一点，但我会建议一种符合 function 类型的方法（ 'a list * 'a list -> 'a list ）并且还严格执行两个输入列表的约束必须是相同的大小。

fun interleave ([],[]) = []
  | interleave (x::xs,y::ys) = x :: y :: interleave (xs,ys);

这个 function 通过模式匹配工作。 在最简单的情况下，它需要两个空列表并返回一个空列表。 否则，它应该期望两个列表，每个列表中至少包含一个项目。

如果传递了两个不同长度的列表，则会引发匹配异常，因为情况([], y::ys)和(x::xs, [])不匹配任何指定的模式。

这意味着编译器可能会产生警告（ warning: Matches are not exhaustive. ）但这是设计使然。

也可以创建一个显式异常，导致类似：

exception DifferentLengthsException;
fun interleave ([],[]) = []
  | interleave (x::xs,y::ys) = x :: y :: interleave (xs,ys)
  | interleave (xs,ys) = raise DifferentLengthsException;

如果将两个不同长度的列表传递给这些函数中的任何一个，则会引发异常（以下是示例堆栈跟踪）。

val x = interleave ([1,3,5,7],[2,4,6]);
val x = 1 :: 2 :: interleave ([3,5,7], [4,6]);
val x = 1 :: 2 :: 3 :: 4 :: interleave ([5,7], [6]);
val x = 1 :: 2 :: 3 :: 4 :: 5 :: 6 :: interleave ([7], []);
Exception- Match raised