Hiện erlang có một danh sách ẩn trong danh sách?

Question

Đây là một ví dụ về mã hiện tại của tôi:

DataSet = [1,2,3,4,5,6,7,8,9]. 

Sequence = [3,4,5,6]. 

ReducedDataSet = lists:foldl(fun(SeqNumber, Output) -> 
           Row = lists:nth(SeqNumber, DataSet), 
           [Row|Output] 
           end, 
           [], 
           Sequence 
          ). 

ReducedDataSet kết thúc lên như [6,5,4,3] và nếu tôi thay đổi nó vào danh sách: foldr, ReducedDataSet sẽ là [3,4,5 , 6].

Tôi không mong đợi điều này như khi hấp thu trái sang phải, giá trị thứ 3 là 3 và nên tiến hành đến 6, nhưng khi hấp thụ phải sang trái, giá trị thứ 3 sẽ là 7, và tiến tới 4.

Điều này có nghĩa là có một số hàng ẩn trong danh sách của tôi, và foldl và foldr chỉ khác nhau theo thứ tự sắp xếp của danh sách cuối cùng?

Answer 1

TL; DR

Không, không có chỉ mục ẩn hoặc "số hàng" trong danh sách Erlang.

Thảo luận

Có thể hữu ích để khám phá bản chất của hoạt động danh sách hơn một chút trong bối cảnh danh sách chức năng của "danh sách một loạt các conses" nhiều.

tôi đã viết một lời giải thích của nếp gấp một thời gian lại có thể hữu ích cho bạn: Explanation of lists:fold function

Hãy ghi nhớ rằng danh sách chức năng chỉ có con trỏ mà đi một chiều. Tức là, họ là danh sách được liên kết đơn lẻ. Không có khái niệm về "rownum" hoặc "index" vì nó sẽ nằm trong một mảng kiểu C. Mỗi cuộc gọi đến lists:nth/2 thực sự là duyệt qua danh sách thành phần tử n trước khi trả về phần tử đó.

Chúng tôi có thể viết lists:nth/2 như thế này nếu chúng ta muốn có một phiên bản đó bị treo trên đầu vào xấu (và, nhìn nó lên, nó quay ra rằng it is written almost exactly like this):

nth(1, [Element | _]) -> 
    Element; 
nth(N, [_ | Rest]) when N > 1 -> 
    lists:nth(N - 1, Rest). 

(Như một mặt lưu ý, xem xét not inlining funs that require you to write multi-line definitions as function arguments. ..)

Answer 2

Tôi nghĩ đây là câu hỏi tổng quát hơn fold.

Nói chung, lần thực hiện như sau: (new_element, acc) -> new_acc

Nếu hoạt động new_element ° acc là giao hoán (ví dụ các sum), foldl và foldr đều giống nhau.

Nếu hoạt động được "nối thêm", có sự khác biệt giữa việc thêm phần tử vào bên trái hoặc bên phải.

[3] ° 4 -> [3, 4] VS 4 ° [3] -> [4, 3]

Tôi không bao giờ nhớ đó là foldl và foldr nhưng tôi nghĩ rằng trái/phải đề cập đến vị trí của ắc ([3] ° 4 là foldl với định nghĩa này)