การประยุกต์ใช้ความหมายเชิง Denotational กับการออกแบบโปรแกรม

ฉันได้อ่านนิดหน่อยเกี่ยวกับdenotational semantics (DS) และฉันก็รู้สึกทึ่งมากเกี่ยวกับกระบวนการออกแบบโปรแกรมคอมพิวเตอร์ที่ประเภทและฟังก์ชั่นมีการแมปที่แข็งแกร่งและชัดเจนกับคณิตศาสตร์

มีทรัพยากรใดบ้างที่พูดถึงการออกแบบโปรแกรมโดยยึด DS เป็นรายละเอียดหรือไม่? ฉันเคยเห็นการรักษาผิวเผินบางอย่างของเรื่อง

ฉันคุ้นเคยกับ Haskell, Scala, Common LISP และ Scheme เล็กน้อยดังนั้นทรัพยากรใด ๆ ที่ใช้ภาษาเหล่านั้นจะได้รับการชื่นชมอย่างมาก

การออกแบบ denotational ( การออกแบบโปรแกรมที่ฝังรากและไหลจากความหมายเชิงDenotational ) เป็นวิธีการหลักของฉัน ไม่กี่ปีที่ผ่านมาในขณะที่เขียนเกี่ยวกับ FRP ฉันชัดเจนมากขึ้นเกี่ยวกับสิ่งที่ฉันทำ ดูPush-ดึงการเขียนโปรแกรมปฏิกิริยาการทำงาน สำหรับคำอธิบายที่ชัดเจนมากขึ้นของกระบวนทัศน์และความหลากหลายของตัวอย่างให้ดูที่การออกแบบ denotational กับ morphisms เมื่อฉันรู้ตัวถึงรูปแบบฉันเริ่มมองหามันทุกที่ ฉันรู้ว่าฉันมีสิ่งที่เป็นนามธรรมรั่วไหล สำหรับคำอธิบายเบื้องต้นที่ไม่เป็นทางการโปรดดูบล็อกโพสต์Semantic Designของ Luke Palmer

ฉันสนใจการออกแบบ denotational อยู่เสมอดังนั้นฉันชอบที่จะได้ยินเกี่ยวกับการสำรวจของคุณ

เราใช้ความหมายเชิง Denotational กับการออกแบบภาษาโดยอ้างว่าการออกแบบภาษาโดยเฉพาะอย่างยิ่งภาษาเฉพาะโดเมนควรเริ่มต้นด้วยคำจำกัดความของความหมาย หากคุณมีความสนใจในรายละเอียดคุณอาจต้องการที่จะดูการออกแบบ DSLและความหมายที่ขับเคลื่อนด้วยSemantics เป็นครั้งแรก! ทบทวนกระบวนการออกแบบภาษาใหม่