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

Question 1

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

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

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

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

Question 2

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

Question 3

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

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

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

Question 4

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

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

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

Question 5

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

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

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

Question 6

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

Answer 1

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

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

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

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

Answer 2

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

tar

Answer 3

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

Крис

Answer 4

161

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

Рич Хикки
источник

2

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

Тим Клемонс,

10

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

toofarsideways 01

1

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

Реут

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

Matanster

Answer 5

2

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

Тим Клемонс,

Answer 6

10

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

toofarsideways 01

Answer 7

1

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

Реут

Answer 8

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

Matanster

Answer 9

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

Answer 10

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

Felipe

Answer 11

4

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

Джесси Розалия

Answer 12

1

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

Фил Купер

Answer 13

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

codeasone

Answer 14

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

codeasone

Answer 15

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]

Answer 16

2

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

Alex Coventry

Answer 17

22

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

nimrod

Answer 18

10

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

Питер

Answer 19

10

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

erturne

Answer 20

1

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

Answer 21

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

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

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

Answer 22

5

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

Ступито
источник

3

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

amalloy

3

Конечно, в этом случае реверсирование ввода не имеет значения, поскольку это всего лишь 3 случайных числа .... :-)

mikera 03

Answer 23

3

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

amalloy

Answer 24

3

Конечно, в этом случае реверсирование ввода не имеет значения, поскольку это всего лишь 3 случайных числа .... :-)

mikera 03

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

Ответы: