Zaintrygowany: Clojure dla pętli z: while -> nieoczekiwane zachowanie?

Question

Uczę Clojure i zaskoczony brzmienie:

user=> (for [a (range 1 4) b (range 1 4)] [a b]) 
([1 1] [1 2] [1 3] [2 1] [2 2] [2 3] [3 1] [3 2] [3 3]); _no surprise here_ 

Dodajmy :while (not= a b), spodziewam się, aby zobaczyć pustą listę jako pętla powinna zatrzymać, jeśli warunek jest fałszywy. W tym przypadku jest to pierwszy element, w którym a = b = 1. Zobaczmy:

user=> (for [a (range 1 4) b (range 1 4) :while (not= a b) ] [a b]) 

([2 1] [3 1] [3 2]) ; _surprise!_ 

Zmiana :while do :when odfiltrować (= a b) par

user=> (for [a (range 1 4) b (range 1 4) :when (not= a b) ] [a b]) 
([1 2] [1 3] [2 1] [2 3] [3 1] [3 2]); _expected_ 

Czy ktoś może wyjaśnić dlaczego (for [ ... :while ..] ...) zachowuje się jak ten?

Używam Clojure 1.3 na OS X.

Dziękuję i przepraszam za brak formatowania. To jest mój dziewiczy post na StackOverflow.

Answer 1

Spójrzmy na każdą iterację.

a = 1 
    b = 1 -> a == b, break because of while 

a = 2 
    b = 1 -> a != b, print [2 1] 
    b = 2 -> a == b, break because of while 

a = 3 
    b = 1 -> a != b, print [3 1] 
    b = 2 -> a != b, print [3 2] 
    b = 3 -> a == b, break because of while 

Answer 2

Warunkiem w for:while kończy tylko najbardziej wewnętrznych pętli. Cały czas używam for, ale :while tak rzadko, że nigdy tego nie zauważyłem; dzięki za świetne pytanie!

Niestety uważam, że najlepszą rzeczą, jaką można zrobić, jest owinięcie take-while wokół for, ponieważ chcemy mieć "globalny" licznik zatrzymań na sekwencji wyjściowej, a nie licznik zatrzymań na jednej z sekwencji wejściowych, które iterujemy koniec. Na przykład:

(->> (for [a (range 1 4) 
      b (range 1 4)] 
     [a b]) 
    (take-while (fn [[a b]] (not= a b)))) 

()