การเปรียบเทียบบริบทของภาษาที่มี `quote '-`eval` เป็นเรื่องไม่สำคัญหรือไม่?

ใน [1], มิทเชลล์ Wand แสดงให้เห็นว่าการเพิ่ม fexprs เพื่อแคลคูลัสแลมบ์ดาบริสุทธิ์ trivializes ทฤษฎีของความเท่าเทียมกันตามบริบทที่มีความหมายสองแง่เป็นบริบทเทียบเท่า IFF พวกเขาจะ -congruent เมื่อสำรวจที่เกี่ยวข้องกับงานเขาไป "ผลของเราขยายการสังเกตเก่าของอัลเบิร์เมเยอร์ [2] ที่และทำให้เท่าเทียมกันตามบริบทจิ๊บจ๊อย" แต่หมายถึง [2] สิ่งที่สามารถพบได้เป็นเพียงคำสั่งต่อไปนี้โดยเมเยอร์:$\alpha$evalquote

ฉันคิดว่าในภาษาที่มีคุณสมบัติquote- evalเช่น LISP [3] ไม่มีความแตกต่างระหว่างวัตถุทางวากยสัมพันธ์และปฏิบัติการได้ ในความเป็นจริงquote- evalดูเหมือนจะปลอดภัยพอใน LISP เพราะแม้ว่าquotesyntactically ดูเหมือนตัวดำเนินการ bona fi de เช่นพูดว่าcondมันไม่ทำงานเหมือนอย่างใดอย่างหนึ่งquoteเป็นพารามิเตอร์ของโพรซีเดอร์) ถึงกระนั้นฉันยังไม่ได้เห็นตัวอย่างที่น่าเชื่อที่คุณสมบัติquote- evalคุ้มค่า

โดยไม่คำนึงถึงข้อบกพร่องเล็กน้อยหนึ่งข้อในความคิดเห็นเหล่านี้ที่อาจทำให้ผู้อ่านเข้าใจผิดเพื่ออนุมานว่าcondสามารถส่งผ่านเป็นพารามิเตอร์ไปยังกระบวนการ ถ้าฉันเข้าใจอย่างถูกต้องสิ่งที่เมเยอร์พูดว่า " quote- evalดูเหมือนปลอดภัยพอ" หมายความว่าquote- evalอาจไม่ทำให้ทฤษฎีสมการเป็นเรื่องเล็กน้อยแม้ว่าเขาจะไม่ได้พิสูจน์ก็ตาม

แก้ไข:

ตามที่ Martin แนะนำเนื่องจากเอกสารทั้งสามฉบับอ้างถึงการจัดการกับภาษาตระกูล LISP ให้ตั้งคำถามภายใต้การตั้งค่าเดียวกันนี้ การเทียบเคียงเชิงบริบทของภาษาที่มีquote- evalโดยเฉพาะ LISP บนโลกนั้นเล็กน้อยหรือไม่?

[1] มิทเชลล์ไม้กายสิทธิ์ทฤษฎี Fexprs Is น่ารำคาญ การคำนวณเสียงกระเพื่อมและสัญลักษณ์ 10 (3): 189-199 (1998)

[2] Albert Meyer, Puzzle ใน Programming Logic Workshop เรื่องการพัฒนาซอฟต์แวร์อย่างเป็นทางการ 1984

[3] จอห์นแมคคาร์ฟังก์ชั่นซ้ำของการแสดงออกเชิงสัญลักษณ์และการคำนวณของพวกเขาโดยเครื่อง Part I การสื่อสารของพลอากาศเอกในเดือนเมษายน 2503

ก่อนอื่นทั้งหมดขึ้นอยู่กับสิ่งที่คุณทำเพื่อเป็นบริบทของคุณ ถ้า(quote [])เป็นบริบทบริบทก็คือความเท่าเทียมกันทางไวยากรณ์

ตามเนื้อผ้าบริบทเพื่อความเท่าเทียมบริบทจะนำไปสู่บริบทที่ "การแสดงออก" ในสิ่งที่มีความหมายในภาษาสามารถปรากฏ กฎนี้ออกบริบทเช่น"[]"ที่บริบทวางอาร์กิวเมนต์ภายในสตริงตัวอักษร บริบทประเภทนี้ยัง IIRC ตัดออกโดย Quine เมื่อเขาอธิบายความโปร่งใสอ้างอิง

จากมุมมองนี้ฉันคิดว่า(quote [])มันไม่ใช่บริบท บริบทเป็นสถานที่ที่การประเมินผลการแสดงออกอาจเกิดขึ้นเช่นในร่างกายของฟังก์ชั่นหรือในการโต้แย้งของแอปพลิเคชัน

อาจเกิดปัญหาขึ้นซึ่งหมายความว่าในโปรแกรม Lisp ที่มีมาโคร (หรือโปรแกรม Racket หรือ Scheme) คุณไม่ทราบว่าบริบทคืออะไรจนกว่าคุณจะเรียกใช้กระบวนการขยายแมโครที่ไม่ทำลายเนื่องจากคุณไม่ทราบว่านิพจน์อยู่ที่ไหน เป็น ไม่ว่าคุณจะคิดว่านี่เป็นปัญหาหรือไม่ส่วนใหญ่เป็นคำถามเชิงปรัชญามากกว่าคำถามเชิงเทคนิค