Implementazione del Seq [T] per le classi CPS

Question

Avendo la seguente classe che si trova in un contesto CPS (@cps [Unità]) come implementare il Seq-trait? Devo lasciare i tratti standard come Seq a parte e solo implementare map, flatmap e foreach nel cps-context?

class DataFlowVariable[T] { 
    def apply(): T @cps[Unit] = ... 
} 

class DataFlowStream[T] extends Seq[T] { 

    override def iterator: Iterator[T] = new Iterator[T] { 
    private val iter = queue.iterator 
    def hasNext: Boolean = iter.hasNext 
    def next: T = { // needed: next: T @cps[Unit] ! 
     val dfvar = iter.next 
     // dfvar() // not possible as dvar.apply has type "T @cps[Unit]" 
    } 
    } 
} 

Answer 1

OK, per quanto ho capito sembra interfacce attuazione/tratti come Seq non è possibile. Tuttavia, quando Scala riscrive i loop sintattici dello for in normali chiamate foreach/map-call, funziona alla grande semplicemente implementando map e foreach con l'annotazione cps richiesta. filtro & co dovrebbe funzionare pure.

Tuttavia, qualsiasi consiglio su come implementare i tratti in un contesto cps è molto apprezzato.