Làm thế nào là "letrec" được triển khai mà không sử dụng "set!"?

Question

Làm cách nào để letrec được triển khai mà không cần sử dụng set!?

Dường như với tôi rằng set! là một cấu trúc lập trình bắt buộc, và bằng cách sử dụng nó, một mất lợi ích của lập trình chức năng.

Answer 1

Tôi biết thường chúng tôi yêu cầu nội dung được sao chép nhưng không có câu trả lời ngắn cho câu hỏi của bạn. http://www.cs.indiana.edu/~dyb/pubs/fixing-letrec.pdf

Answer 2

No. Chỉ vì một tính năng chức năng được triển khai với mã bắt buộc đằng sau hậu trường, điều đó không làm cho tính năng này bắt buộc. Máy tính của chúng tôi đều bắt buộc; vì vậy tại một số điểm tất cả các mã chức năng phải được thực hiện bằng cách dịch sang mã bắt buộc!

Điều quan trọng cần hiểu ở đây là: lập trình chức năng liên quan đến giao diện , không được triển khai. Một đoạn mã có chức năng nếu chính mã đó không thể quan sát bất kỳ tác dụng phụ nào — ngay cả khi các tác dụng phụ thực tế xảy ra sau hậu trường. Tức là, nếu bạn kiểm tra giá trị của cùng một liên kết của cùng một biến nhiều lần, bạn sẽ nhận được cùng một giá trị — ngay cả khi giá trị đó, đằng sau hậu trường, được đặt ở đó bằng cách sử dụng set!.

Trong trường hợp letrec, có một chút bắt tại đây: kết quả là không xác định nếu đánh giá bất kỳ ràng buộc nào trong số letrec khiến một số khác bị hủy đăng ký. Do đó, kết quả của mã này không được xác định:

(letrec ((foo bar) 
     (bar 7)) 
    (cons foo bar)) 

Giá trị của foo trong nội dung của letrec là không xác định. Kết quả của những điều sau đây, mặt khác, được định nghĩa:

(letrec ((foo (lambda() bar)) 
     (bar 7)) 
    (cons (foo) bar)) 

Điều này là do việc đánh giá lambda nắm bắt được tham chiếu đến bar, nhưng giá trị thực tế không được ngẩng đầu lên cho đến khi đóng cửa được thực hiện trong cơ thể.