Stream-cons＃はどのようにScalaで翻訳されていますか？

Question

私は現在、 "Programming in Scala"の書籍を通じてScalaを学習しています。これまでのところ、（Javaプログラマの視点から）奇妙に見えるすべてのもののための素晴らしい説明がありましたが、フィボナッチ数列を生成するためのストリームを使用して、この一例は、一種の困惑私の葉：

建設でどのように

def fibFrom(a: Int, b: Int): Stream[Int] = 
    a #:: fibFrom(b, a + b) 

ストリームの完了？もちろん、オペレータは#::です。私はそれが:で終わるので、右結合であると理解しますが、それはストリームの作成を説明しません。暗黙のうちに何らかの形でコンストラクタに変換されると思いますが、私はなぜ、どのように正確に見えません。

私は既にPredef.scalaとLowPriorityImplicits.scalaで答えを探しましたが、これまでのところ運がありません。

誰でも私を啓発できますか？

Answer 1

それは右引数にメソッドとして働くので、それは右結合である：

fibFrom(b, a + b).#::(a) 

は、少なくともそれはそれは文法的に行おうとするものです。 Stream[Int]にはこのようなメソッドはありません。幸運にも、object Streamは、このメソッド（code）を持ついくつかのクラスConsWrapperに暗黙的に属しています。

だから、あなたは暗黙的な解決後に得るものは以下です：

immutable.this.Stream.consWrapper(fibFrom(b, a + b)).#::(a) 

Answer 2

A Streamがリストに似ています。それはその頭部とストリームの残りの部分だけを知っている：ストリーム（頭：T、テール：ストリーム[T]）。違いは、ストリームが遅れて評価されることです。メソッドの名前の最後にある '：'は、メソッドが正しい結合であることを示します。したがって、式a＃:: fibFrom（b、a + b）は、（コンパイラによって）fibFrom（b、a + b）。＃：:(a）に変換されます。