ML 中的序列（有限和无限）

Question

好的，

我已经有了序列的下一个定义：

datatype 'a seq = Nil | Cons of 'a * (unit-> 'a seq);

我需要实现下一个函数：

filterq_n:('a -> bool) -> int -> 'a seq -> 'a seq

该函数获取一个返回 true 或 false、n（整数）和序列的谓词函数。

功能：

1. 如果 n<=0 返回相同的 seq。
2. else 返回一个 seq，其前 n 个元素是谓词为它们返回 true 的原始 seq 中的前 n 个元素，其余的将相同。

例如，如果谓词是 (x mod 2) 并且 seq 是 1,2,3,4,5... 并且 n 是 3，那么新的 seq 是 2,4,6,7,8,...

另外，我应该检查另外 2 个选项：

2.1）如果 seq 是有限的并且少于 n 个元素，谓词为它们返回 true，则新的 seq将仅包含谓词为其返回 true 的元素。

2.2) 如果 seq 是无限的，并且谓词返回 true 的元素少于 n 个，那么新的 seq 将包含谓词返回 true 的所有元素，并且在尝试获取下一个元素时，它将进入无限循环。

我当前的代码从逻辑上讲是暂时规划的，没有考虑 2.1 和 2.2（尽管我遇到错误并且可以找到原因？）

fun     filter_n (predicate: 'a -> bool ) (n: int)  Nil = Nil
|       filter_n (predicate: 'a -> bool ) (n: int) (Cons(x, xf)) =      
            if(n <= 0)  then Cons(x, xf) 
                        else 
                            if predicate x then Cons(x, fn() => filter_n predicate n-1 (xf()) ) 
                            else  filter_n predicate n-1 (xf())  
;

语法错误或巨大的变化..我不确定？

（另外，对于 2.1 和 2.2，我只需要检查是否得到（Nil 和 n>0）然后返回 Nil？）

提前感谢您的帮助。

Answer 1

您需要将 n-1 括在括号中，否则它会被解释为多个参数。完成后，它将编译。

但是，您的代码中仍然存在逻辑错误：无论谓词是否匹配，您都会减少 n 。然而，规范说您应该选择谓词匹配的 n 元素，而不是您应该检查谓词中的 n 元素。因此，如果谓词匹配，您应该只减少 n ，否则保持相同的 n 。

一旦解决了这个问题，您的代码应该符合规范（包括 2.1 和 2.2）。