在Scala中尝试Haskell样式的惰性求值时出现堆栈溢出错误

Has*_*san 4 haskell scala lazy-evaluation

为了练习,我在Scala中编写了一些无用的方法/函数.我正在尝试实现斐波纳契序列函数.我在Haskell中编写了一个用作参考(因此我不会最终编写Java风格).我在Haskell中提出的是:

fib a b = c : (fib b c)
   where c = a+b
Run Code Online (Sandbox Code Playgroud)

然后我可以这样做:

take 20 (fib 0 1)
[1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946]
Run Code Online (Sandbox Code Playgroud)

所以我尝试将其翻译成Scala:

def fib(a:Int, b:Int):List[Int] = {
  val c = a+b
  c :: fib(b,c)
}
Run Code Online (Sandbox Code Playgroud)

但是当我尝试使用它时,我收到了堆栈溢出错误.有什么我需要做的事情来让懒惰的评估在Scala中工作吗?

dre*_*xin 11

scala中的列表不会被懒惰地评估.您必须改为使用流:

def fib(a:Int, b:Int): Stream[Int] = {
  val c = a+b
  c #:: fib(b,c)
}

scala> fib(0,1) take 20 toList
res5: List[Int] = List(1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765, 10946)
Run Code Online (Sandbox Code Playgroud)

  • Stream文档 - http://www.scala-lang.org/api/current/index.html#scala.collection.immutable.Stream - 给出了几个如何写fib的例子,我最喜欢的是:val fibs: Stream [BigInt] = BigInt(0)#:: BigInt(1)#:: fibs.zip(fibs.tail).map {n => n._1 + n._2} (5认同)