Как преобразовать ленивую последовательность в неленивую в Clojure


95

Я пробовал в Clojure следующее, ожидая возврата класса неленивой последовательности:

(.getClass (doall (take 3 (repeatedly rand))))

Однако это все равно возвращается clojure.lang.LazySeq. Я предполагаю, что doallэто оценивает всю последовательность, но возвращает исходную последовательность, поскольку она все еще полезна для мемоизации.

Итак, каковы идиоматические средства создания неленивых последовательностей из ленивых?


Я удивлен, что никто не спросил, почему вас беспокоит фактический тип возвращаемого значенияdoall
tar

Вы можете преобразовать в вектор:(vec (take 3 (repeatedly rand)))
Крис

Ответы:


161

doallэто все, что тебе нужно. Просто потому, что seqтип has LazySeqне означает, что он ожидает оценки. Lazy seqкэширует свои результаты, поэтому все, что вам нужно сделать, это seqодин раз пройтись с ленивым (как это doallпроисходит), чтобы заставить все это и, таким образом, сделать его неленивым. seqэто не заставит всю коллекцию , чтобы оценить.


2
Я изменил это на принятый ответ. В связи с этим, какими средствами вы можете определить, оценивался ли LazySeq ранее?
Тим Клемонс,

10
Я думаю, ты просто позвонишь realized?.
toofarsideways 01

1
Вероятно, должна быть realizeоперация для сопоставления realized?.
Реут

Все это очень хорошо. Но поскольку некоторые функции, например contains?, не заботятся о том, реализовали ли вы ленивую последовательность или нет, это отвечает на заданный конкретный вопрос, но в меньшей степени на заголовок вопроса.
Matanster

75

В некоторой степени это вопрос таксономии. Ленивая последовательность - это всего лишь один тип последовательности, такой как список, вектор или карта. Итак, ответ, конечно, «это зависит от того, какой тип неленивой последовательности вы хотите получить:
выберите из:

  • бывшая ленивая (полностью оцененная) ленивая последовательность (doall ... )
  • список для последовательного доступа (apply list (my-lazy-seq)) OR (into () ...)
  • вектор для последующего произвольного доступа (vec (my-lazy-seq))
  • карта или набор, если у вас есть какое-то специальное назначение.

Вы можете выбрать любой тип последовательности, который больше всего соответствует вашим потребностям.


Это лучший ответ.
Felipe

4
Принятый ответ технически правильный, но этот ответ был для меня наиболее полезным. Я пытался сопоставить функцию с вектором, а затем передать результаты в файл, и даже после вызова doall файл содержал «clojure.lang.LazySeq@address» вместо содержимого последовательности. Вызов vec на возвращенной карте значений дал мне то, что мне нужно было выплюнуть в файл.
Джесси Розалия

1
@JesseRosalia Приятно знать, что единственный ответ Рича Хики во всем SO был технически правильным. ;-)
Фил Купер

(vec (my-lazy-seq))не так хорош в следующих ситуациях: (vec (json/parse-string "{\"foo\":\"bar\"}")) ;; => [["foo" "bar"]]Т.к. cheshireвыбирает создание lazy-seq из(json/parse-string)
codeasone

Для смягчения вышеуказанного было использование нетерпеливого(json/parse-string-strict)
codeasone

22

Этот Богатый парень, кажется, знает свое закрытие и абсолютно прав.
Но я думаю, что этот фрагмент кода, используя ваш пример, может быть полезным дополнением к этому вопросу:

=> (realized? (take 3 (repeatedly rand))) 
false
=> (realized? (doall (take 3 (repeatedly rand)))) 
true

Действительно, тип не изменился, но реализация изменилась.


2
Однако стоит отметить, что вам не нужно принудительно realized?возвращать всю последовательность true. Например(let [r (range) r? (realized? r)] (doall (take 1 r)) [r? (realized? r)]) => [false true]
Alex Coventry

22
Этот богатый парень: D haha
nimrod

10
@nimrod :) каламбур, однако, должен был быть в "hís clojure".
Питер

10
Для тех, кто не знает, «Богатый парень» изобрел Clojure.
erturne

1
@AlexCoventry возвращает ваш пример[true true]

7

Я наткнулся на это сообщение в блоге о том, что он doallне рекурсивен. Для этого я обнаружил, что первый комментарий в посте помог. Что-то вроде:

(use 'closure.walk)
(postwalk identity nested-lazy-thing)

Я нашел это полезным в модульном тесте, где я хотел принудительно выполнить оценку некоторых вложенных приложений, mapчтобы вызвать состояние ошибки.


5
(.getClass (into '() (take 3 (repeatedly rand))))

3
Это ужасная идея. Он меняет входную последовательность на обратную.
amalloy

3
Конечно, в этом случае реверсирование ввода не имеет значения, поскольку это всего лишь 3 случайных числа .... :-)
mikera 03
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.