Conclutamento stabile della costruzione di un flusso infinito con funzioni di classificazione

Question

Sto lavorando con il paradigma di Turing per dimostrare la cessazione dei programmi annotando le funzioni con le funzioni di classificazione e incontro il seguente esempio:

def zeros: Stream[Int] = 0 #:: zeros

Questa è la sintassi Scala per contrastare un flusso realizzato in un numero infinito di zeri. In questo caso, la valutazione termina ma non esiste una misura (evidente) che lo dimostrerebbe?

Questo significa che il paradigma delle funzioni di classificazione è limitato? O esiste una funzione che sta stabilendo la risoluzione di zeros?

• Turing, A. Controllare una grande routine. Nel rapporto di una conferenza su macchine calcolanti automatiche ad alta velocità, 1949.