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

时间:2013-06-08 17:09:09

标签: scala haskell lazy-evaluation

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

fib a b = c : (fib b c)
   where c = a+b

然后我可以这样做:

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]

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

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

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

2 个答案:

答案 0 :(得分: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)

答案 1 :(得分:0)

虽然@ drexin的回答通常是正确的,但在某些情况下,您可能希望使用lazy val而不是val;有关lazy val s。

的更多信息,请参阅here