3
การเขียนคำใหม่และการจับคู่รูปแบบแตกต่างกันอย่างไร
เนื่องจากไม่มีคำตอบที่ Lambda the Ultimateฉันลองที่นี่อีกครั้ง: ระบบการเขียนคำซ้ำถูกนำมาใช้เป็นตัวอย่างในทฤษฎีบทอัตโนมัติที่พิสูจน์การคำนวณเชิงสัญลักษณ์และแน่นอนเพื่อกำหนดไวยากรณ์อย่างเป็นทางการ มีบางภาษาโปรแกรมที่อยู่ในระยะการเขียนใหม่มี แต่เท่าที่ผมเข้าใจแนวคิดเป็นที่รู้จักกันมากขึ้นเช่นจับคู่รูปแบบ การจับคู่รูปแบบถูกใช้อย่างมากในภาษาที่ใช้งานได้ Barry Jay ได้สร้างทฤษฎีทั้งหมดที่เรียกว่าpattern แคลคูลัสแต่เขากล่าวถึงการเขียนคำซ้ำ ๆ ฉันมีความรู้สึกว่าพวกเขาทั้งหมดอ้างถึงแนวคิดพื้นฐานเดียวกันดังนั้นคุณสามารถใช้การเขียนคำซ้ำและการจับคู่รูปแบบเหมือนกันได้หรือไม่