Создание LazyList

Создать LazyList можно несколькими способами. Самый простой — фабрика apply, как при создании List.

Но настоящая сила заключается в конструкторах, сохраняющих ленивость хвоста. Их мы и рассмотрим в этом уроке.

LazyList.empty — завершающий элемент, ленивый аналог Nil. Им заканчивается каждый конечный LazyList.

Используйте его как базовый случай при добавлении элементов в начало с помощью #::.

Оператор #:: добавляет голову к хвосту, передаваемому по имени. Стройте список справа налево, завершая его значением LazyList.empty.

Поскольку #:: принимает хвост лениво, всё после головы не создаётся до принудительного вычисления.

Добавьте побочный эффект в хвост, чтобы увидеть, когда он выполняется. Только принудительное вычисление хвоста запускает его.

Запустите этот код: «building tail» выводится только после обращения ко второму элементу, а не при объявлении LazyList.

Внутри #:: является LazyList.cons. И голова, и хвост в cons передаются по имени, что даёт полный контроль над вычислениями.

Это полезно при определении рекурсивных генераторов.

LazyList может ссылаться сам на себя. Определите функцию, создающую голову и рекурсивно вызывающую себя для хвоста.

Поскольку хвост передаётся по имени, рекурсия не выполняется бесконечно: она приостанавливается, пока не потребуется очередная ячейка.

Запустим генератор, ссылающийся сам на себя, и получим несколько значений. take ограничивает количество принудительно вычисляемых ячеек.

Без take этот код зациклился бы навсегда, поэтому всегда ограничивайте бесконечный генератор перед принудительным вычислением.

Вы можете обернуть существующую коллекцию или итератор. LazyList.from(start) создаёт бесконечный ряд чисел, а someList.to(LazyList) преобразует уже известные данные.

Это даёт ленивое представление данных, которые у Вас уже есть или которые Вы можете описать.

LazyList.iterate(seed)(f) многократно применяет f, создавая каждый следующий элемент на основе предыдущего.

Это удобный способ выразить последовательности, заданные правилом перехода, например степени двойки.

LazyList.continually(expr) бесконечно повторяет выражение, заново вычисляя его для каждого элемента. Это удобно для постоянных или случайных потоков.

Объедините его с take, чтобы получить конечный фрагмент.

Используйте apply для небольших списков фиксированного размера, #:: или cons для рекурсии, записанной вручную, iterate для правил перехода, from для счёта и continually для повторения.

Все они сохраняют ленивость хвоста, поэтому выбор зависит от выразительности.

Проверьте, насколько хорошо Вы усвоили создание LazyList.

Вы создавали LazyLists с помощью apply, empty, #::/cons, iterate, from и continually.

Хвост, передаваемый по имени, позволяет безопасно определять самоссылочные потенциально бесконечные генераторы. Далее мы используем это, чтобы создавать действительно бесконечные потоки.