คำตอบสั้น ๆ ของฉัน: "c 'lambda-of' e" แม้ว่าฉันจะยึดมั่นกับ "'แลมบ์ดา' ฟังก์ชั่น 'e" แต่ฉันคิดว่าแลมบ์ดาเอ้นั้นเป็นการประนีประนอมทั่วโลก การวิเคราะห์ดังนี้
นี่เป็นคำถามที่ดีถ้าคำตอบที่แปลกประหลาดเท่านั้น การแปลส่วนใหญ่มีความหมายอื่นนอกเหนือจากสำนวนแลมบ์ดาซึ่งนำไปสู่การตีความที่แปลกใหม่ ในฐานะที่เป็นแฮ็กเกอร์แลมบ์ดานิพจน์เก่าฉันแค่มองข้ามสัญกรณ์. NET และเขียนมันเป็นแลมบ์ดาในหัวของฉัน
สำหรับการบรรยายรหัสทางโทรศัพท์คุณต้องการให้ใครบางคนสามารถเขียนโค้ดตามลำดับ นั่นเป็นปัญหาแน่นอน แต่แลมบ์ดาลูกศรหรือบางสิ่งอาจจะดีที่สุดที่คุณจะได้รับหรืออาจเป็นแลมบ์ดาอิน แต่แลมบ์ดานั้นแม่นยำที่สุด
ปัญหาคือการใช้มัดและวิธีการตั้งชื่อสิ่งทั้งหมดและบทบาทของชิ้นส่วนด้านซ้ายและด้านขวาด้วยบางสิ่งที่ทำงานเมื่อพูดในที่ฝัง
นี่อาจเป็นปัญหาที่เกิดจากข้อ จำกัด !
ฉันจะไม่ใช้คำว่า "เช่นนั้น" เพราะนั่นก็หมายความว่าทางด้านขวาเป็นส่วนที่บอกว่าทางซ้ายมือควรจะพอใจ นั่นแตกต่างจากการพูดคุยเกี่ยวกับด้านขวาซึ่งด้านซ้ายได้รับการสรุปว่าเป็นพารามิเตอร์การทำงาน (คำสั่ง MSDN เกี่ยวกับ "การแสดงออกแลมบ์ดาทั้งหมด" นั้นน่ารังเกียจและไม่ถูกต้อง)
บางสิ่งบางอย่างเกี่ยวกับ "ไปที่" ถึงแม้ว่ามันอาจจะใกล้เคียงกับที่เราจะได้รับ "Goes to" หมายถึงการแปลง แต่ไม่มีตัวแปร c บางตัวที่ไปยังนิพจน์ใน c สิ่งที่เป็นนามธรรมของฟังก์ชันนั้นค่อนข้างเข้าใจยาก ฉันอาจคุ้นเคยกับสิ่งนี้ แต่ฉันยังคงปรารถนาสิ่งที่เน้นความเป็นนามธรรมของตัวแปร
เนื่องจากด้านซ้ายมือเป็นตัวระบุแบบง่ายเสมอในกรณีที่ใช้จนถึง [แต่รอส่วนขยายที่อาจทำให้เกิดความสับสนในภายหลังนี้] ฉันคิดว่า "c => นิพจน์" ฉันจะอ่าน "c 'แลมบ์ดา - ฟังก์ชั่นของนิพจน์ "" หรือแม้แต่ "c 'arg' 'function' expression" ในกรณีสุดท้ายฉันสามารถพูดสิ่งต่าง ๆ เช่น "b 'arg' c 'arg' 'expression' expression '
มันอาจเป็นการดีกว่าที่จะทำให้ชัดเจนยิ่งขึ้นว่าการแสดงออกแลมบ์ดาได้รับการแนะนำและพูดบางอย่างเช่น "'arg' b 'arg' c 'function' expression 'expression
การหาวิธีแปลทั้งหมดนี้เป็นภาษาอื่นเป็นแบบฝึกหัดสำหรับนักเรียน [; <)
ฉันยังคงกังวลเกี่ยวกับ "(b, c) => การแสดงออก" และตัวแปรอื่น ๆ ที่อาจเกิดขึ้นหากพวกเขายังไม่ได้ บางที "'args' b, c 'function' expression"
หลังจากทั้งหมดของ musing นี้ฉันสังเกตเห็นว่าฉันมาเพื่อแปล "c => e" เป็น "'lambda' c 'function' e" และสังเกตว่าการทำแผนที่ในรูปแบบที่แน่นอนจะต้องเข้าใจโดยบริบท: λc (e ), c => e, f โดยที่ f (c) = e, เป็นต้น
ฉันคาดหวังว่าคำอธิบาย "ไปสู่" จะมีชัยเหนือกว่าเพราะนี่คือที่ซึ่งคนส่วนใหญ่ที่โดดเด่นจะได้เห็นการแสดงออกแลมบ์ดาเป็นครั้งแรก ที่น่าเสียดาย. การประนีประนอมที่ดีอาจเป็น "c ' lambda-of ' e"