Bir for-döngü Seq çıkışını Stream çıkışına nasıl yeniden yazılır?

Question

Tüm sonuçları hevesli bir şekilde almak ve tüm sonuçlar bulunduğunda bir Aktarım'dan Aktarım'a dönüştürmek yerine tembel bir Akışı döndürmek için bu Scala işlevini dönüştürmeyi denedim. Sorunun ((< - 1 - 9; z < - çözümü (xs.update (pos, i), pos)) verim z) toStream için geçerli olduğunu hissediyor.

Herhangi bir tavsiye

takdir edilmektedir. Baktığım başka bir çözüm, bulunduğunda bir sonuç döndürmektir. Bu çözüm ile muhtemelen sadece 1 sonuç döndü. Teşekkürler

isConflictAt(xs.updated(pos, 0), pos, xs(pos) bir kısıtlama denetim işlevidir.

def solve(xs : List[Int], pos: Int): Stream[List[Int]] = { 
    if (!isConflictAt(xs.updated(pos, 0), pos, xs(pos))) { 
     val pos = xs.indexOf(0) 
     if (pos < 0) {println(xs); Stream(xs) } else (for (i <- 1 to 9; z <- solve(xs.updated(pos, i), pos)) yield z) toStream 
    } else Stream.empty 
    } 

Answer 1

for (i <- 1 to 9; z <- solve(???)) yield z(1 to 9).flatMap{i => solve(???)} anlamına gelir. Bakınız this answer.

Tembel sonuç üretmek için kaynağı (1 to 9) (1 to 9).view veya (1 to 9).toStream kullanarak tembelleştirmelisiniz.

bu deneyin:

scala> def solve(pos: Int): Stream[List[Int]] = { 
    | println(pos) 
    | Stream.fill(3)((1 to pos).map{ _ => util.Random.nextInt}.toList) 
    | } 
solve: (pos: Int)Stream[List[Int]] 

scala> for{ 
    | i <- (1 to 9).toStream 
    | z <- solve(i) 
    | } yield z 
1 
res1: scala.collection.immutable.Stream[List[Int]] = Stream(List(-1400889479), ?) 

scala> res1.force 
2 
3 
4 
5 
6 
7 
8 
9