คำถามติดแท็ก scheme

1
การเปรียบเทียบบริบทของภาษาที่มี `quote '-`eval` เป็นเรื่องไม่สำคัญหรือไม่?
ใน [1], มิทเชลล์ Wand แสดงให้เห็นว่าการเพิ่ม fexprs เพื่อแคลคูลัสแลมบ์ดาบริสุทธิ์ trivializes ทฤษฎีของความเท่าเทียมกันตามบริบทที่มีความหมายสองแง่เป็นบริบทเทียบเท่า IFF พวกเขาจะ -congruent เมื่อสำรวจที่เกี่ยวข้องกับงานเขาไป "ผลของเราขยายการสังเกตเก่าของอัลเบิร์เมเยอร์ [2] ที่และทำให้เท่าเทียมกันตามบริบทจิ๊บจ๊อย" แต่หมายถึง [2] สิ่งที่สามารถพบได้เป็นเพียงคำสั่งต่อไปนี้โดยเมเยอร์:αα\alphaevalquote ฉันคิดว่าในภาษาที่มีคุณสมบัติquote- evalเช่น LISP [3] ไม่มีความแตกต่างระหว่างวัตถุทางวากยสัมพันธ์และปฏิบัติการได้ ในความเป็นจริงquote- evalดูเหมือนจะปลอดภัยพอใน LISP เพราะแม้ว่าquotesyntactically ดูเหมือนตัวดำเนินการ bona fi de เช่นพูดว่าcondมันไม่ทำงานเหมือนอย่างใดอย่างหนึ่งquoteเป็นพารามิเตอร์ของโพรซีเดอร์) ถึงกระนั้นฉันยังไม่ได้เห็นตัวอย่างที่น่าเชื่อที่คุณสมบัติquote- evalคุ้มค่า โดยไม่คำนึงถึงข้อบกพร่องเล็กน้อยหนึ่งข้อในความคิดเห็นเหล่านี้ที่อาจทำให้ผู้อ่านเข้าใจผิดเพื่ออนุมานว่าcondสามารถส่งผ่านเป็นพารามิเตอร์ไปยังกระบวนการ ถ้าฉันเข้าใจอย่างถูกต้องสิ่งที่เมเยอร์พูดว่า " quote- evalดูเหมือนปลอดภัยพอ" หมายความว่าquote- evalอาจไม่ทำให้ทฤษฎีสมการเป็นเรื่องเล็กน้อยแม้ว่าเขาจะไม่ได้พิสูจน์ก็ตาม แก้ไข: ตามที่ Martin แนะนำเนื่องจากเอกสารทั้งสามฉบับอ้างถึงการจัดการกับภาษาตระกูล LISP ให้ตั้งคำถามภายใต้การตั้งค่าเดียวกันนี้ การเทียบเคียงเชิงบริบทของภาษาที่มีquote- evalโดยเฉพาะ …

1
การเรียก / cc ของ Scheme สามารถใช้โครงสร้างการไหลของการควบคุมที่รู้จักทั้งหมดได้หรือไม่
หน้า"แผนการขั้นสูง: บาง Naughty Bits"ระบุ: Continuations เป็นโครงสร้างการควบคุมการไหลที่ทรงพลังซึ่ง อาจมีโครงสร้างการไหลของการควบคุม [... ] อื่นเกือบ ผมคิดว่าโครงการของcall/ccถูกที่เกี่ยวข้อง (*) ปีเตอร์ร่อนลงของผู้ประกอบการเจสามารถนำมาใช้ในการดำเนินการใด ๆโครงสร้างการควบคุมการไหลที่รู้จักกัน? ด้วย "โครงสร้างการควบคุมการไหล" ฉันกำลังคิดถึงคำอธิบายของวิกิพีเดียเป็นพิเศษเช่นข้อยกเว้น coroutines เธรดสีเขียวและอื่น ๆ มีตัวอย่างของโครงสร้างการควบคุมการไหลที่ไม่สามารถนำไปใช้งานได้call/ccหรือไม่? (*) ฉันไม่สามารถที่จะขุดกระดาษใด ๆ ที่ระบุว่าcall/ccมีประสิทธิภาพเท่ากับตัวดำเนินการ J บทความโดย Felleisen (ซึ่งฉันไม่ได้อ่านและยอมรับว่ามีปัญหาในการทำความเข้าใจอย่างเต็มที่) ตรวจสอบเรื่องนี้และดูเหมือนจะสรุปได้ว่าถึงแม้ว่าพวกเขาจะอยู่ในชั้นเรียนที่มีความซับซ้อนแตกต่างกันก็ตาม (โปรดทราบว่าฉันได้อัปเดตคำถามตามความคิดเห็นด้านล่าง) ปรับปรุง จากคำตอบที่ยอดเยี่ยมโดย @Neel ด้านล่างฉันได้ดูไซต์ที่แสดงความคิดเห็นเกี่ยวกับความต่อเนื่องที่คั่นและไม่ จำกัดและดูเหมือนว่าในขณะที่การcall/ccไม่ถูก จำกัด นั้นไม่เพียงพอ ในขณะที่ชั้นแรกที่คั่นต (ชอบshift/reset) สามารถนำมาใช้ดูเหมือนว่าจะแสดงโครงสร้างการควบคุมการไหลใด ๆ
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.