Chúng ta có thể nghĩ đến những danh sách bất biến như một cây kép?

Question

tôi có thể rút ra một danh sách các từ như:

this -> is -> a -> test 

và sau đó thông qua việc chia sẻ, tôi có thể rút ra hai danh sách như:

this -> is -> a -> test 
        ^
        | 
that -> was -> a -> hard 

Bây giờ, nếu tôi đảo ngược các mũi tên, tôi nhận được một cái cây, với thử nghiệm là gốc. Đây là khái niệm giống như tính hai mặt trong lý thuyết đồ thị/thể loại. Do đó, tôi có thể nghĩ về cây cối và danh sách như những khái niệm kép.

Điều này có chính xác/hữu ích không?

Answer 1

Chia sẻ và lười biếng cho phép bạn có các cấu trúc tuần hoàn tùy ý. Ví dụ: trong Haskell định nghĩa

ones = 1 : ones 

tạo biểu đồ bao gồm một đỉnh đơn (tương ứng với 1) và vòng lặp (theo lý thuyết đồ thị, không có ý nghĩa lập trình). Bằng cách đảo ngược các mũi tên, bạn sẽ có được cấu trúc tương tự, và nó không phải là một cái cây (vì nó có các vòng lặp).

Vì vậy, điều đó không đúng trong ngôn ngữ lười biếng.