SML 中的无限序列答案

【问题标题】：infinite sequence in SMLSML 中的无限序列
【发布时间】：2011-08-30 17:54:15
【问题描述】：

我必须编写一个接收序列（有限或无限）并返回相同序列的函数，唯一的区别是如果在序列期间发生异常，则该函数将序列返回到其开头。
换句话说，该函数必须返回一个循环序列，该序列在结束时会重复自身。我必须用句柄捕捉异常。
以下示例必须有效。

listToSeq [1,2];
val it = Cons (1,fn) : int seq
restartOnError 吧；
val it = Cons (1,fn) : int seq
尾随它;
val it = Cons (2,fn) : int seq
尾随它;
val it = Cons (1,fn) : int seq
尾随它;
val it = Cons (2,fn) : int seq

有人可以帮我吗？

【问题讨论】：

它看起来很像家庭作业。那么，为什么不这样标记它并包含原始问题文本。无论如何，在我的脑海中，我可能会建议您保留列表和每次递增的索引，并在到达末尾时重置。这样你就可以使用 List.nth 函数来拉出元素。

标签： sml sequences smlnj ml infinite-sequence

【解决方案1】：

简单。你有一堆 Cons(int, ->Cons(int, ...)) 东西（看起来像），你想向下递归。观看和学习，并仔细考虑。当您调用在列表中生成下一个 elt 的 fn 时，您不想直接调用它，而是每次都处理，如果必须，请返回开始。所以，你先写那个 fn。然后，您需要一个可以将任何 elt 转换为新列表中的 elt 的小伙子，并带有调整后的下一个乐趣，让您重新开始。所以，你接下来写那个人（下面的第三行）。最后，只需返回答案。简单，代码应该易于理解（伪代码；不会完全编译并且可能有问题）。

fun cycle l =
    let fun handleNext next = ((next()) handle whatever => l);
        fun next (Cons(n, fn)) = Cons(n, fun ()=>next(handleNext fn))
    in next l end;

【讨论】：