ฉันแค่อ่านแคลคูลัสแลมบ์ดาเพื่อ "ทำความรู้จัก" ฉันเห็นว่าเป็นรูปแบบอื่นของการคำนวณซึ่งต่างจาก Turing Machine มันเป็นวิธีที่น่าสนใจในการทำสิ่งต่าง ๆ ด้วยฟังก์ชั่น / การลด (การพูดหยาบ) บางคำถามที่จู้จี้มาที่ฉันว่า:
- แคลคูลัสแลมบ์ดาคืออะไร? เหตุใดจึงต้องผ่านฟังก์ชั่น / การลดค่าเหล่านี้ทั้งหมด จุดประสงค์คืออะไร?
- ด้วยเหตุนี้ฉันจึงสงสัยว่า: แลมด้าแคลคูลัสทำอะไรเพื่อพัฒนาทฤษฎีของ CS? มีส่วนร่วมอะไรบ้างที่จะทำให้ฉันมีช่วงเวลา "aha" ที่เข้าใจความต้องการการมีอยู่ของมัน
- ทำไมแคลคูลัสแลมบ์ดาไม่ครอบคลุมในตำราเกี่ยวกับทฤษฎีออโตมาตะ? เส้นทางทั่วไปคือการผ่านออโตมาตาไวยากรณ์เครื่องทัวริงและคลาสที่ซับซ้อนมากมาย แลมบ์ดาแคลคูลัสจะรวมอยู่ในหลักสูตรสำหรับหลักสูตรสไตล์ SICP เท่านั้น (อาจไม่ใช่?) แต่ฉันไม่ค่อยเห็นว่ามันเป็นส่วนหนึ่งของหลักสูตรแกนกลางของ CS นี่แปลว่ามันมีค่าทั้งหมดใช่ไหม อาจจะไม่และฉันอาจจะหายไปบางสิ่งบางอย่างที่นี่?
ฉันรู้ว่าภาษาการเขียนโปรแกรมการทำงานนั้นใช้แคลคูลัสแลมบ์ดา แต่ฉันไม่คิดว่ามันเป็นสิ่งที่ถูกต้องเนื่องจากมันถูกสร้างขึ้นมากก่อนที่เราจะมีภาษาการเขียนโปรแกรม ดังนั้นจุดประสงค์ของการรู้ / ทำความเข้าใจแลมบ์ดาลัสคืออะไร
Functional Programming
พูดคุยกับ Haskell และ Lisp เล็กน้อย ตัวตายตัวแทนที่เคยPrinciples of Programming Languages
ใช้ ML และแนะนำแคลคูลัสแลมบ์ดา ดังที่คำตอบบางข้อแสดงนั่นคือที่ซึ่งแคลคูลัสแลมบ์ดาอยู่: ในชั้นเรียนเกี่ยวกับภาษาการเขียนโปรแกรมการพิมพ์และอื่น ๆ