Sự khác biệt giữa hàm Clojure (nth [coll index]) và thành phần (last (take index coll))

Question

Tôi đang cố gắng làm việc qua cuốn sách Lập trình Clojure của Stuart Halloway. Toàn bộ công cụ chức năng này rất mới mẻ đối với tôi.

Tôi hiểu thế nào

(defn fibo[] 
    (map first (iterate (fn [[a b]] [b (+ a b)]) [0 1]))) 

tạo dãy Fibonacci uể oải. Tôi không hiểu tại sao

(last (take 1000000 (fibo))) 

công trình, trong khi

(nth (fibo) 1000000) 

ném một OutOfMemoryError. Ai đó có thể giải thích hai biểu thức này khác nhau như thế nào? Là (nth) bằng cách nào đó giữ cho người đứng đầu của trình tự?

Cảm ơn!

Answer 1

Tôi nghĩ bạn đang nói về vấn đề đã được thảo luận trong google group và Rich Hickey cung cấp patch giải quyết được sự cố. Và cuốn sách, tiếng roi được xuất bản sau, không đề cập đến chủ đề này.

Trong clojure 1.3 ví dụ nth của bạn hoạt động với những cải tiến nhỏ trong chức năng fibo. Bây giờ, do những thay đổi trong 1.3, chúng tôi nên gắn cờ M để sử dụng độ chính xác tùy ý hoặc rơi xuống với throwIntOverflow.

(defn fibo[] 
    (map first (iterate (fn [[a b]] [b (+ a b)]) [0M 1M]))) 

Và với những thay đổi này

(nth (fibo) 1000000) 

thành công (nếu bạn có đủ bộ nhớ)

Answer 2

Bạn đang sử dụng phiên bản Clojure nào? Hãy thử (phiên bản clojure) trên repl. Tôi nhận được kết quả giống hệt nhau cho cả hai biểu thức trong 1.3.0, cụ thể là một tràn số nguyên.

Đối

(defn fibo[] 
    (map first (iterate (fn [[a b]] [b (+ a b)]) [(bigint 0) 1]))) 

tôi nhận được kết quả chính xác cho cả hai biểu thức (một số nguyên thực sự lớn ...).

Answer 3

Tôi nghĩ rằng bạn có thể đạt đến giới hạn bộ nhớ cụ thể đối với máy tính của bạn, và không phải là một sự khác biệt thực trong hàm.

Nhìn vào mã nguồn cho nth trong https://github.com/clojure/clojure/blob/master/src/jvm/clojure/lang/RT.java nó không giống như một phần n hoặc lấy được giữ đầu.

Tuy nhiên, thứ n sử dụng lập chỉ mục dựa trên không, thay vì đếm theo số mục. Mã của bạn với thứ n chọn phần tử 1000001st của chuỗi (số một tại chỉ số 1000000). Bạn mã với take là trả về phần tử cuối cùng trong một chuỗi yếu tố 1000000. Đó là vật phẩm có chỉ số 999999. Với tốc độ phát triển nhanh của sợi, vật phẩm cuối cùng có thể là thứ đã phá vỡ lưng lạc đà.

Ngoài ra, tôi đã kiểm tra nguồn 1.3.0. Có lẽ các phiên bản trước đó có các triển khai khác nhau. Để fibo của bạn hoạt động bình thường trong 1.3.0, bạn cần phải sử dụng các hàm số học để quảng cáo số cho các hiệu ứng:

(defn fibo[] 
    (map first (iterate (fn [[a b]] [b (+' a b)]) [0 1])))