Triển khai Seq [T] cho CPS-Classes

Question

Có lớp sau trong ngữ cảnh CPS (@cps [Unit]) tôi sẽ triển khai đặc điểm Seq như thế nào? Tôi có phải để lại các đặc điểm tiêu chuẩn như Seq sang một bên và chỉ cần thực hiện bản đồ, sơ đồ phẳng và tìm kiếm trong bối cảnh cps?

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, theo như tôi thấy có vẻ như việc triển khai giao diện/đặc điểm như Seq là không thể. Tuy nhiên, khi Scala ghi lại các cú pháp đường-for vào các cuộc gọi thông thường/bản đồ, nó hoạt động tốt để chỉ thực hiện map và foreach với chú thích cps bắt buộc. bộ lọc & đồng cũng nên hoạt động.

Tuy nhiên, bất kỳ lời khuyên nào về cách triển khai các đặc điểm trong ngữ cảnh cps được đánh giá cao.