mise en œuvre Scala de rendement C# -comme avec « pour »

Question

Je suis en train d'utiliser différentes implémentations Scala de rendement de rendement C# -comme (c.-à-this one) avec « pour » -Constructions tels que:

private def permutations[T](s: Vector[T]) = { 
    def swap(i: Int, j: Int) { 
    val tmp = s(i) 
    s.set(i, s.get(j)) 
    s.set(j, tmp) 
    } 

    iterator[Vector[T]] { 
    def generate(left: Int, right: Int): Unit @cps[Iteration[Vector[T]]] = { 
     if (left >= right) 
     yieldValue(s) 

     else { 
     generate(left, right) 
     for (i <- left to right) { 
      swap(left, i) 
      generate(left+1, right) 
      swap(left, i) 
     } 
     } 
    } 

    generate(0, s.size-1) 
    } 
} 

Mais ce code se compile avec l'erreur:

error: no type parameters for method foreach: (f: (Int) => U)Unit exist so that it can be applied to arguments ((Int) => Unit @util.continuations.package.cps[ru.ispras.texterra.nlp.GHMMDisambiguator.Iteration[Vector[T]]]) 
--- because --- 
argument expression's type is not compatible with formal parameter type; 
found : (Int) => Unit @util.continuations.package.cps[ru.ispras.texterra.nlp.GHMMDisambiguator.Iteration[Vector[T]]] 
required: (Int) => ?U 
for (i <- left to right) { 

Comme je comprends que je dois faire tout le code à l'intérieur pour être le type de () => Unit, pas de () => Unit @with-annotations. Comment puis je faire ça?

Ce problème semble être très commun, mais je n'ai trouvé aucune mention dans Internet.

Answer 1

Si vous utilisez le type iterator à partir de l'exemple lié, est-il possible que votre méthode generate nécessite le type de retour suivant plutôt que celui que vous avez ici?

Unit @cps[Iteration[Vector[T]],Iteration[Vector[T]]] 

Je crains que je n'ai pas beaucoup d'expérience avec ce genre de choses, mais il ressemble beaucoup les méthodes que vous appelez à l'intérieur iterator doit avoir deux (identiques) de type arguments sur l'annotation.