这是我的代码:
val fibs =
let
val rec fibs_help =
fn(n, next) => Cons(n, (fn()=>fibs_help(next, n+next)) )
in
fibs_help(0, 1)
end;
val list = fibs(10)
这是错误:
错误:未绑定的变量或构造函数:缺点
错误消息引用缺少的数据类型构造函数Cons
。它丢失了,因为您在上述代码中没有数据类型声明。你可能错过了一个看起来像这样的行:
datatype 'a seq = Cons of 'a * (unit -> 'a seq)
如果在代码顶部插入该声明,则会收到新的错误消息:
! val list = fibs(10)
! ^^^^
! Type clash: expression of type
! int seq
! cannot have type
! 'a -> 'b
您得到此错误是因为您将fibs
定义为整数序列,但在最后一行中,您将fibs
称为一个函数,可能需要从该序列中提取许多元素。序列的定义没有错。以下是我将如何格式化代码的第一部分:
val fibs =
let fun fibs_help (n, next) = Cons (n, fn () => fibs_help (next, n+next))
in fibs_help(0, 1)
end
为了从这个无限序列中提取具体数量的元素到例如有限列表需要更多的工作。写一个函数take (i, s)
,它生成序列i
的第一个s
元素的列表:
fun take (0, ...) = ...
| take (i, Cons (n, subseq_f)) = ...
基本情况是您需要任何序列中的零元素列表。考虑是否需要对输入序列进行模式匹配以及这个简单案例的结果是什么。递归的情况是当你想要任何序列中的一个或多个元素的列表时;通过在结果中包含一个元素n
并使用take
,i
和subseq_f
解决相同结构但尺寸减小的问题来做到这一点。
一旦此功能有效,您可以使用它来获取十个元素的列表:
val ten_first = take (10, fibs)