In che modo Stream-cons # :: viene tradotto in Scala?

Question

Attualmente sto imparando Scala lavorando sul libro "Programming in Scala". Finora, ci sono stati piacevoli spiegazioni per tutto ciò che sembra strano (dal punto di vista di un programmatore Java), ma questo esempio, utilizzando un flusso per generare la sequenza di Fibonacci mi lascia tipo di perplesso:

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

Come è la costruzione del flusso fatto? Ovviamente l'operatore #:: è in qualche modo responsabile di ciò. Capisco che dal momento che termina in :, è giusto-associativo, ma che non spiega la creazione del flusso. Immagino sia implicitamente tradotto in qualche modo da un costruttore, ma non vedo perché e come esattamente.

Ho già cercato risposte in Predef.scala e LowPriorityImplicits.scala ma finora non ho avuto fortuna.

Qualcuno può illuminarmi?

Answer 1

E 'associativa giusto in modo che funziona come un metodo sull'argomento destra:

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

Almeno questo è quello che cerca di fare sintatticamente. Stream[Int] non ha un tale metodo. Fortunatamente, object Stream ha implicitamente una classe ConsWrapper che ha questo metodo (code).

Quindi, quello che si ottiene dopo la risoluzione implicita è questa:

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

Answer 2

Un flusso è simile a un elenco. Conosce solo la sua testa e il resto del flusso: Stream (testa: T, coda: Stream [T]). La differenza è che un flusso viene valutato pigramente. Il ':' alla fine del nome del metodo dice che il metodo è giusto associativo. Quindi l'espressione a # :: fibFrom (b, a + b) è tradotta (dal compilatore) in fibFrom (b, a + b). #: :(a).