SML-运算符和操作数不一致
我有这个简单的功能：
val CLC_seq=
fn (n) =>
(Cons (n, find_CLC_seq(COL_seq(n))))
find_CLC_sqe is : int seq -> int;
COL_seq is: fn: int -> int seq;
Error: operator and operand don\'t agree
operator domain: int * (Unit -> int seq)
operand: int * int
in expression:
(Cons (n, find_CLC_seq(COL_seq(n))))
没有找到相关结果
已邀请:
1 个回复
辅奈
返回，这意味着您的试图将限制在上。这没有任何意义，因为缺点是要在列表的前面添加元素（您的函数希望将放在惰性序列的前面，a10ѭ）。 我不知道CLC和COL是什么，但看起来像： 您对的定义是错误的，因为如果实际上是要返回的，那么以这种方式使用它就没有意义； 或您对的定义是错误的，顾名思义，其返回类型应为或惰性序列。在这种情况下，该错误是由您未向我们显示的一些代码造成的。