foldRight на бесконечной ленивой структуре - PullRequest
18 голосов
/ 20 октября 2011

В соответствии с http://en.wikipedia.org/wiki/Fold_(higher-order_function), правильное сгибание может работать с бесконечными списками, если полный список не требуется оценивать.Это можно увидеть в действии в haskell:

Prelude> take 5 (foldr (:) [] [1 ..])
[1,2,3,4,5]

Это не очень хорошо работает в scala для потоков:

Stream.from(1).foldRight(Stream.empty[Int])( (i, s) => i #:: s).take(5)
// StackOverflowError

или для итераторов:

Iterator.from(1).foldRight(Iterator.empty: Iterator[Int]){ (i, it) => 
  Iterator.single(i) ++ it
}.take(5)
// OutOfMemoryError: Java heap space

Есть ли практическое решение для достижения ленивого сгиба прямо в Scala?

1 Ответ

17 голосов
/ 20 октября 2011

Эта статья делает то же самое наблюдение и предлагает ленивое решение с использованием скалязаБлагодарю автора и Тони Морриса.

...