มีการสำรวจความหมายของฟีเจอร์ภาษาการเขียนโปรแกรมต่างๆหรือไม่?


12

มีแบบสำรวจ (จากบทความในบทหนังสือบทช่วยสอนการเชื่อมโยง ... ) ของความหมายของฟีเจอร์ภาษาการเขียนโปรแกรมต่างๆหรือไม่? เดิมทีฉันมีคุณสมบัติของ D อยู่ที่นี่แล้วhttp://www.digitalmars.com/d/2.0/comparison.html

ฉันอยากจะดูว่าฉันจะได้อะไรจากที่นี่แม้ว่าฉันจะถามคำถามแบบเดียวกันกับ stackoverflowและเข้าใจว่าทั้งสองไซต์มีมุมมองที่แตกต่างกัน

ขอบคุณคำตอบของคุณจริงๆ! ขอบคุณ Dave Clarke สำหรับคำแนะนำของเขาเกี่ยวกับเมตาดาต้า


ฉันคิดว่าคำถามนี้ทำให้เกิดปัญหาที่น่าสนใจ: ความหมายของภาษาการเขียนโปรแกรมยังคงเป็นพื้นที่การวิจัยในห้องปฏิบัติการหรือพร้อมสำหรับแสงกลางวันหรือไม่ หากพร้อมสำหรับแสงกลางวันก็ควรมีบทสรุปที่ระบุวิธีการอธิบายความหมายของคุณลักษณะภาษาการเขียนโปรแกรมแต่ละภาษาเพื่อให้นักออกแบบภาษาในอนาคตสามารถไปและค้นหาพวกเขาในขณะที่ออกแบบภาษาของพวกเขา ฉันคิดว่ามันควรค่ากับการไตร่ตรองที่เราต้องการจากที่นี่
Uday Reddy

คำตอบ:


17

ฉันไม่รู้การสำรวจความหมายของฟีเจอร์ภาษาต่างๆแม้ว่าจะมีหนังสือหลายเล่มที่เกี่ยวข้องกับความหมายของภาษาการเขียนโปรแกรม ต่อไปนี้เป็นตัวอย่างบางส่วนที่ครอบคลุมมากขึ้นซึ่งจัดการกับโครงสร้างที่น้อยกว่า:

  • แนวคิดการออกแบบในภาษาโปรแกรมโดย Franklyn Turbak, David Gifford และ Mark Sheldon หนังสือแมมมอ ธ เต็มไปด้วยความหมายของโครงสร้างภาษาที่แตกต่างกันมากมาย

  • แนวคิดเทคนิคและรูปแบบการเขียนโปรแกรมคอมพิวเตอร์โดย Peter Van Roy และ Seif Haridi หนังสือเล่มนี้เน้นเรื่องแนวคิดเกี่ยวกับภาษาออซเป็นหลัก ทุกตัวอย่างในหนังสือทำงาน ในตอนท้ายของหนังสือเล่มนี้มีบทหนึ่งหรือสองบทที่พูดถึงความหมายที่เป็นทางการของโครงสร้างภาษา

ตำราคลาสสิกอื่น ๆ ที่ให้ความสำคัญกับเทคนิคความหมายมากกว่าความหลากหลายของการสร้างภาษาการเขียนโปรแกรมรวมถึง:

  • ประเภทและภาษาการเขียนโปรแกรมโดย Benjamin Pierce หนังสือเกี่ยวกับระบบการพิมพ์ ส่วนใหญ่เน้นไปที่การสร้างภาษาที่ใช้งานได้ในขณะที่เพิ่มความซับซ้อนของระบบประเภท นอกจากนี้ยังครอบคลุม Featherweight Java ซึ่งเป็นแคลคูลัสหลักของ Java

  • การเปลี่ยนผ่านและต้นไม้โดย Hans Huttel การแนะนำที่ดีเกี่ยวกับความหมายในการปฏิบัติงานครอบคลุมภาษาที่หลากหลายสร้างความซับซ้อนที่เพิ่มขึ้น

  • ความหมายกับแอปพลิเคชันโดย Hanne Riis Nielson และ Flemming Nielson คำแนะนำเกี่ยวกับรูปแบบความหมายต่าง ๆ รวมถึงแอพพลิเคชั่นบางอย่างที่ไม่ชัดเจนของพวกเขา อ่านดีมาก!

  • โครงสร้างของภาษาการเขียนโปรแกรม โดย David A Schmidt หนังสือพื้นฐานที่มั่นคง

  • ความหมายของภาษาโปรแกรม: โครงสร้างและเทคนิคโดย Carl A Gunter หนังสือพื้นฐานที่แข็งแกร่งอีกเล่ม

ในที่สุดความคืบหน้าในการทำงานซึ่งมีให้ดาวน์โหลดอย่างกว้างขวางมูลนิธิการปฏิบัติสำหรับการเขียนโปรแกรมภาษาโดย Bob Harper ครอบคลุมคุณลักษณะภาษาการเขียนโปรแกรมที่แตกต่างกันมากมายทำให้มั่นใจได้ว่าทุกอย่างเป็นทางการตลอดทาง

ฉันควรเพิ่มว่าถ้าคุณถามคำถามที่เฉพาะเจาะจงมากขึ้นคุณจะได้รับคำตอบที่เฉพาะเจาะจงมากขึ้น มีเอกสารทางวิทยาศาสตร์มากมายที่ให้ความหมายกับคุณสมบัติภาษาการเขียนโปรแกรมที่หลากหลาย หากคุณมีความสนใจในคุณสมบัติที่เฉพาะเจาะจงแล้วฉันสามารถขุดกระดาษหนึ่งหรือสองในคุณสมบัตินั้น


11

อีกหนังสือที่ดีเกี่ยวกับความหมายในการปฏิบัติงานคือวิศวกรรมความหมายกับ PLT Redexโดย Matthias Felleisen, Robby Findler และ Matthew Flatt มันเริ่มต้นด้วยการรักษาแบบเรียนตำราของการลดความหมายและเครื่องที่เป็นนามธรรมและยังครอบคลุมถึงการใช้เครื่องมือ Redex เพื่อทำแบบจำลองความหมายของภาษาการเขียนโปรแกรม


5
ดีใจที่ได้พบคน PL อีกคนบนเครื่อง
Dave Clarke
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.