Crear una LazyList

Hay varias formas de construir una LazyList. La más sencilla es la fábrica apply, igual que al construir una lista.

Pero la verdadera potencia proviene de los constructores que mantienen perezosa la cola, que exploraremos en esta lección.

LazyList.empty es el terminador, el equivalente perezoso de Nil. Toda LazyList finita termina en él.

Se utiliza como caso base al anteponer elementos con #::.

El operador #:: añade una cabeza a una cola pasada por nombre. Construya la lista de derecha a izquierda y termine con LazyList.empty.

Como #:: recibe la cola de forma perezosa, no se construye nada después de la cabeza hasta que se fuerza.

Coloque un efecto secundario en la cola para observar cuándo se ejecuta. Solo forzar la cola lo activa.

Ejecute esto: "building tail" se imprime únicamente después de acceder al segundo elemento, no cuando se define la LazyList.

Internamente, #:: es LazyList.cons. Tanto la cabeza como la cola se pasan por nombre en cons, lo que proporciona un control total sobre la evaluación.

Esto resulta útil al definir generadores recursivos.

Una LazyList puede referirse a sí misma. Defina una función que produzca una cabeza y se llame recursivamente para generar la cola.

Como la cola se pasa por nombre, la recursión no se ejecuta indefinidamente: se pausa hasta que se solicita cada celda.

Ejecutemos un generador autorreferente y obtengamos algunos valores. take limita cuántas celdas se fuerzan.

Sin take, esto entraría en un bucle infinito, así que debe limitar siempre un generador infinito antes de forzarlo.

Puede envolver una colección o un iterador existentes. LazyList.from(start) construye una cuenta infinita y someList.to(LazyList) convierte datos que ya se conocen de forma estricta.

Estas opciones proporcionan una vista perezosa sobre datos que ya tiene o que puede describir.

LazyList.iterate(seed)(f) aplica repetidamente f para construir cada elemento a partir del anterior.

Es una forma clara de expresar secuencias definidas por una regla de paso, como las potencias de dos.

LazyList.continually(expr) repite una expresión indefinidamente y la vuelve a evaluar para cada elemento. Resulta útil para flujos constantes o aleatorios.

Combínelo con take para obtener una sección finita.

Use apply para listas pequeñas y fijas, #:: o cons para la recursión escrita manualmente, iterate para reglas de paso, from para contar y continually para repetir.

Todos mantienen perezosa la cola, por lo que la elección depende de qué expresión resulte más clara.

Compruebe su comprensión de la construcción de LazyList.

Ha construido LazyList con apply, empty, #::/cons, iterate, from y continually.

La cola pasada por nombre permite definir de forma segura generadores autorreferentes y potencialmente infinitos. A continuación, aprovecharemos esto para crear flujos realmente infinitos.