มีวิธีธรรมชาติที่จะเข้าใจสาระสำคัญของความหมายเชิงสัมพันธ์สำหรับตัวแปรหลากหลายหรือไม่?
ฉันเพิ่งเริ่มอ่านเกี่ยวกับความคิดเกี่ยวกับตัวแปรเชิงสัมพันธ์, "ประเภทของ La John John Reynolds ', Abstraction และ Parametric Polymorphism" และฉันมีปัญหาในการทำความเข้าใจว่าความหมายเชิงสัมพันธ์เป็นแรงจูงใจ ความหมายชุดทำให้รู้สึกที่สมบูรณ์แบบสำหรับฉันและฉันตระหนักว่าชุดความหมายไม่เพียงพอที่จะอธิบายตัวแปรหลากหลาย แต่กระโดดไปสู่ความหมายเชิงสัมพันธ์ดูเหมือนว่าจะเป็นเวทมนตร์มาจากที่ไหนเลยอย่างสมบูรณ์
มีวิธีการอธิบายบางอย่างตามแนว "สมมติความสัมพันธ์กับประเภทฐานและเงื่อนไขและจากนั้นการตีความคำที่ได้รับนั้นเป็นเพียงความสัมพันธ์ตามธรรมชาติระหว่าง... เช่นและสิ่งที่เป็นธรรมชาติ ...ในภาษาการเขียนโปรแกรมของคุณ "? หรือคำอธิบายตามธรรมชาติอื่น ๆ ?