Khó hiểu: Clojure cho vòng lặp với: while -> hành vi bất ngờ?

Question

Tôi đã học Clojure và bối rối bởi những điều sau đây:

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_ 

Hãy thêm :while (not= a b), tôi mong đợi để xem một danh sách rỗng như vòng lặp nên dừng lại nếu điều kiện là sai. Trong trường hợp này, đây là mục đầu tiên trong đó a = b = 1. Hãy xem:

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

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

Thay đổi :while-:when để lọc ra (= a b) cặp

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_ 

bất cứ ai có thể giải thích lý do tại sao (for [ ... :while ..] ...) cư xử như thế này?

Tôi đang sử dụng Clojure 1.3 trên OS X.

Cảm ơn bạn và xin lỗi vì thiếu định dạng. Đây là bài đăng trinh của tôi trên StackOverflow.

Answer 1

Hãy xem từng lần lặp lại.

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

Điều kiện :while trong for chỉ chấm dứt vòng lặp bên trong nhất. Tôi sử dụng for tất cả các thời gian, nhưng :while vì vậy hiếm khi mà tôi không bao giờ nhận ra điều này; cảm ơn vì câu hỏi tuyệt vời của bạn!

Đáng buồn là tôi nghĩ tốt nhất bạn có thể làm là quấn take-while xung quanh for, vì bạn muốn một bộ đếm dừng "toàn cầu" trên chuỗi đầu ra, chứ không phải bộ đếm dừng trên một trong các chuỗi đầu vào mà bạn đang lặp lại kết thúc. Ví dụ:

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

()