Scalaワークシートはこのコードでは機能しません。コンパイルエラーは表示されません

Question

Eclipseでscalaワークシートで何かを試しています。これは出力を表示していないため、エラーまたは警告も表示されません。

object stream { 
    println("Welcome to the Scala worksheet") 

    def cons[T](hd: T, t1: => Stream[T]): Stream[T] = new Stream[T] { 
    def head = hd 
    private var t1Opt: Option[Stream[T]] = None 
    def tail: Stream[T] = t1Opt match { 
     case Some(x) => x 
     case None => t1Opt = Some(t1); tail 
    } 
    } 

    def streamIncrementedby2(x: Int): Stream[Int] = x #:: streamIncrementedby2(x + 2) 

    val x = this.cons(-1, this.streamIncrementedby2(5)) 
    println(x.head) 

} 

私はcoureraのOdersky著コースに例をしようとしています：Scalaの機能設計week3ビデオを。興味深いことに、上記の例で、最初のprintln文の下のものをすべて削除すると、評価された出力が表示されます。

*******アップデート******** 他の読者を助けるために、私は上記のプログラムの訂正版を解答に基づいて投稿しています。

def cons[T](hd: T, t1: => Stream[T]) = new Stream[T] { 
    override def head = hd 
    override def isEmpty = false 
    private[ this ] var t1Opt: Option[Stream[T]] = None 
    def tailDefined: Boolean = true 
    override def tail: Stream[T] = t1Opt match { 
     case Some(x) => x 
     case None => {t1Opt = Some(t1); tail} 
    } 
    } 

Answer 1

あなただけのストリームの一般的な要素ヘッドを作りたい場合は、あなたがcons

def streamIncrementedby2(x: Int): Stream[ Int ] = x #:: streamIncrementedby2(x + 2) 

val x = Stream.cons(-1, this.streamIncrementedby2(5)) 
println(x.head) 

と呼ばれるストリームパッケージ内の既存の方法を使用することができますそれは正常に動作します。しかし、独自のバージョンを作成したい場合は、より深く掘り下げなければなりません。次の関数の定義を使用することによって、あなたはここに

def cons[T](hd: T, t1: => Stream[T]): Stream[T] = new Stream[T] { ... 

重要なことは= new Stream[T]でない普通の関数、コンストラクタ作っています。したがって、適切なコンストラクタが必要とする多くのものを提供する必要があります。head、tail、isEmptyなどの抽象関数をオーバーライドし、必要な関数tailDefinedを提供する必要があります。

def classCons[ T ](hd: T, t1: => Stream[ T ]): Stream[ T ] = new Stream[ T ] { 

    override def isEmpty = false 
    override def head = hd 
    private[ this ] var tlVal: Stream[ T ] = _ 

    def tailDefined: Boolean = tlVal ne null 

    override def tail: Stream[T] = { 

     if (!tailDefined) 
      synchronized { 
       if (!tailDefined) 
        tlVal = t1 
      } 

     tlVal 
    } 
} 

inspiration

また、あなたのcons機能通常の関数ANGはコンストラクタいじりせずに同じ結果を得ることができます。

def funcCons[ T ](hd: T, t1: => Stream[ T ]): Stream[ T ] = { 

    if (t1.isEmpty) 
     Stream(hd) 
    else 
     hd #:: t1.tail 
} 

結果は同じです。

val ccStream = classCons(-1, this.streamIncrementedby2(5)) 
val ffStream = funcCons(-1, this.streamIncrementedby2(5)) 
println(ccStream.head) 
println(ffStream.head) 
// Result => -1 
// Result => -1