plt-redex

7Nhiệt

2Trả lời

"Ngữ nghĩa giảm" là gì? Vui lòng giải thích việc sử dụng PLT Redex trong thuật ngữ của người quản lý

Ai đó vui lòng giải thích cách sử dụng ngữ nghĩa giảm và PLT Redex bằng ngôn ngữ đơn giản hơn. Cảm ơn.

12Nhiệt

1Trả lời

PLT Redex: tham số hóa định nghĩa ngôn ngữ

Đây là một vấn đề đã khiến tôi khó chịu trong một thời gian, và tôi tự hỏi liệu có ai ở đây có thể giúp đỡ hay không. Tôi có một mô hình Redex PLT của một ngôn ngữ được gọi là lambdaLVar, ít nhiều là