sml - 在 SML/NJ 中定义（所有）斐波那契数列时出错

Question

这是我的代码：

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)

这是错误：

错误：未绑定的变量或构造函数：缺点

score 1 · Accepted Answer

错误消息是指缺少数据类型构造函数，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解决相同结构但大小小一的问题来做到这一点。takeisubseq_f

一旦这个函数工作，你可以使用它来获取你的十个元素列表：

val ten_first = take (10, fibs)

1 回答 1