Tôi có thể tìm thấy một ngữ nghĩa hoạt động cấu trúc bước nhỏ cơ bản cho các lần đóng cửa ở đâu?

Đóng cửa từ vựng là một kỹ thuật triển khai trong các ngôn ngữ với các chức năng hạng nhất.

Tôi quan tâm đến một mô tả hoạt động đơn giản của việc đóng chức năng. Có ai biết mô tả như vậy?

— Ohad Kammar
nguồn

Uhm, hãy hỏi cố vấn của bạn, người phát minh ra SOS?

— Andrej Bauer

Bạn không ngừng nghỉ.

— Ohad Kammar

Có bất kỳ khó khăn cụ thể nào ngăn cản bạn tự viết ra một bước nhỏ không?

— Martin Berger

Tôi biết những gì bạn đang làm!

— Andrej Bauer

Tôi hy vọng như vậy, mặc dù câu hỏi này không liên quan đến điều đó.

— Ohad Kammar

Câu trả lời:

Chương 29 của cuốn sách của Bob Harper có phải là thứ bạn đang tìm kiếm không?

— Andrej Bauer
nguồn

Không. Đây là ngữ nghĩa kiểu máy CK tiêu chuẩn mà tôi quen thuộc. Từ truyền thuyết thực hiện PL, tôi biết rằng việc đóng từ vựng là thực hành tiêu chuẩn. Tôi đã tự hỏi liệu có một tài khoản ngữ nghĩa làm nổi bật chúng chính thức.

— Ohad Kammar

Có lẽ bạn có thể chỉnh sửa tiêu đề và câu hỏi của bạn để làm rõ những gì bạn đang tìm kiếm?

— Martin Berger

Không, anh ta nên viết luận án và nói chuyện với cố vấn của mình. Hoặc làm cho cố vấn của mình sử dụng StackExchange.

— Andrej Bauer

Đóng cửa tạo thành một khái niệm quan trọng mà tôi cố gắng dạy trong lớp Ngôn ngữ lập trình đại học của mình. Bạn có thể tìm thấy ghi chú bài giảng của tôi trực tuyến.

Handout 8 cho thấy ngữ nghĩa bước lớn sử dụng môi trường và đóng cửa. Handout 9 cho thấy hương vị của tôi về máy SECD. (Cái sau không hoạt động tốt cho mục đích giảng dạy vì học sinh bị mất chi tiết và không phát triển trực giác tốt. Vì vậy, tôi đã chuyển sang ngữ nghĩa bước lớn.)

Đây không phải là những gì bạn đang yêu cầu, nhưng có lẽ chúng có thể tạo thành một điểm khởi đầu?

— Uday Reddy
nguồn