SML 中的无限序列

发布于 2024-11-09 05:15:21 字数 455 浏览 0 评论 0原文

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

listToSeq [1,2];
val it = Cons (1,fn) : int seq
restartOnError it;
val it = Cons (1,fn) : int seq
tail it;
val it = Cons (2,fn) : int seq
tail it;
val it = Cons (1,fn) : int seq
tail it;
val it = Cons (2,fn) : int seq

有人可以帮助我吗？

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

￡冰雨忧蓝° 2024-11-16 05:15:21

简单的。你有一堆 Cons(int, ->Cons(int, ...)) 的东西（看起来像），并且你想向下递归。观察、学习、思考。当您调用 fn 来生成列表中的下一个 elt 时，您不想直接调用它，而是要处理每次，并在必要时返回到开头。所以，你先写那个 fn 。然后，您需要一个能够将任何 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;

Simple. You have a load of Cons(int, ->Cons(int, ...)) things (it looks like), and you want to recurse down. Watch and learn, and think it through. When you call the fn which makes the next elt in the list, you don't want to call it straight, but to handle each time, and go back to the start if you have to. So, you write that fn first. Then, you want a chap that will will tranform any elt into the one in the new list, with the tweaked next fun that sends you back to start. So, you write that guy next (third line below). Finally, just return the answer. Simple, code should be easy to follow (pseudo-code; won't quite compile and may have haskelisms).

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;

回复收藏 0 原文

~没有更多了~