Como converter uma sequência preguiçosa em não preguiçosa em Clojure

95

Tentei o seguinte em Clojure, esperando o retorno da classe de uma sequência não preguiçosa:

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

No entanto, isso ainda retorna clojure.lang.LazySeq. Meu palpite é que doallavalia a sequência inteira, mas retorna a sequência original, pois ainda é útil para memoização.

Então, qual é o meio idiomático de criar uma sequência não preguiçosa a partir de uma sequência preguiçosa?

clojure lazy-evaluation

— Tim Clemons
fonte

Estou surpreso que ninguém tenha perguntado por que você está preocupado com o tipo real do valor de retorno dedoall

— tar

Você pode converter para um vetor:(vec (take 3 (repeatedly rand)))

— Kris

161

doallé tudo o que você precisa. Só porque seqtem tipo LazySeqnão significa que tenha avaliação pendente. Os preguiçosos seqarmazenam seus resultados em cache, portanto, tudo o que você precisa fazer é acompanhar o preguiçoso sequma vez (como doallfaz) para forçar tudo e, assim, torná-lo não preguiçoso. seqse não forçar a coleção inteira para ser avaliado.

— Rich Hickey
fonte

2

Eu mudei isso para a resposta aceita. Em uma nota relacionada, por que meios você pode determinar se um LazySeq foi avaliado anteriormente?

— Tim Clemons,

10

Eu acredito que você acabou de ligar realized?.

— toofarsideways

1

Provavelmente deve haver uma realizeoperação correspondente realized?.

— Reut Sharabani 01 de

Isso tudo é muito bom. Mas, uma vez que algumas funções como contains?não se importam se você percebeu ou não o preguiçoso seq, isso responde à pergunta específica conforme feita, mas menos ao título da pergunta.

— matanster

75

Isso é até certo ponto uma questão de taxonomia. uma sequência preguiçosa é apenas um tipo de sequência, assim como uma lista, vetor ou mapa. Portanto, a resposta é, claro, "depende do tipo de sequência não preguiçosa que você deseja obter:
Escolha entre:

uma sequência preguiçosa ex-preguiçosa (totalmente avaliada) (doall ... )
uma lista para acesso sequencial (apply list (my-lazy-seq)) OR (into () ...)
um vetor para acesso aleatório posterior (vec (my-lazy-seq))
um mapa ou um conjunto se você tiver algum propósito especial.

Você pode ter qualquer tipo de sequência que mais atenda às suas necessidades.

— Arthur Ulfeldt
fonte

Esta é a melhor resposta.

— Felipe

4

A resposta aceita é tecnicamente correta, mas essa resposta foi muito útil para mim. Eu estava tentando mapear uma função em um vetor e depois cuspir os resultados em um arquivo e, mesmo depois de chamar doall, o arquivo continha "clojure.lang.LazySeq@address" em vez do conteúdo da sequência. Chamar vec no mapa de valor retornado me deu o que eu precisava cuspir para o arquivo.

— Jesse Rosalia

1

@JesseRosalia É bom saber que a única resposta de Rich Hickey em todo o SO foi tecnicamente correta. ;-)

— Phil Cooper

(vec (my-lazy-seq))não é tão bom em situações como as seguintes: (vec (json/parse-string "{\"foo\":\"bar\"}")) ;; => [["foo" "bar"]]Visto que cheshireopta por produzir um seq preguiçoso de(json/parse-string)

— codeasone

A mitigação para o acima foi usar ansioso(json/parse-string-strict)

— codeasone em

22

Esse cara rico parece saber seu clojure e está absolutamente certo.
Mas acho que este snippet de código, usando seu exemplo, pode ser um complemento útil para esta pergunta:

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

Na verdade, o tipo não mudou, mas a realização mudou

— Peter
fonte

2

É importante notar, porém, que você não precisa forçar a sequência inteira para realized?retornar true. Por exemplo(let [r (range) r? (realized? r)] (doall (take 1 r)) [r? (realized? r)]) => [false true]

— Alex Coventry

22

Esse cara rico: D haha

— nimrod

10

@nimrod :) o trocadilho, entretanto, era para ser em "hís clojure".

— Pedro

10

Para quem não sabe, "o cara rico" inventou Clojure.

— erturne

1

@AlexCoventry, seu exemplo retorna[true true]

7

Eu tropecei nesta postagem do blog sobre doallnão ser recursivo. Para isso, descobri que o primeiro comentário no post funcionou. Algo na linha de:

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

Achei isso útil em um teste de unidade em que queria forçar a avaliação de alguns aplicativos aninhados mappara forçar uma condição de erro.

— leeor
fonte

5

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

— estupito
fonte

3

Esta é uma ideia terrível. Ele reverte o seq de entrada.

— amalloy de

3

Claro, neste caso, inverter a entrada não faz diferença, já que são apenas 3 números aleatórios .... :-)

— mikera