写ML函数

Question

我对ML不熟悉，所以我会尽我最大的努力去理解。

编写一个名为alternate : 'a list -> 'a list的ML函数，该函数以两个长度相同的列表作为输入，并生成一个输出列表，其元素分别从第一和第二输入列表中交替提取。

示例

alternate ([1,3,5],[2,4,6]) = [1,2,3,4,5,6]  

这是我的作品：fun alternate ( x::xs,y::ys) = x::alternate(x,y);

Answer 1

您将问题分为两个部分:递归案例和基本案例。(1)在递归的情况下，您解决了问题的某个单元，在这种情况下，将每个列表中的单个元素放在结果前面，然后递归地尝试以相同的方式解决其余的问题。(2)在基本情况下，列表为空，结果为空列表。

fun alternate (x::xs, y::ys) = x::y::alternate(xs, ys)
  | alternate ([], []) = []
  | alternate _ = raise Fail "xs and ys don't have the same length"

(3)由于函数只对偶数长度的输入定义良好，所以所有捕获模式_匹配包含两个元组的列表，其中一个为空，另一个为空，并引发异常。