-
JavaScript เป็นภาษาโปรแกรมที่มีการใช้งานอย่างคึกคักที่สุด โดยมีสเปกภาษาที่ชื่อ ecma 262 ซึ่งดูแลโดย tc39 และมีการนำไปใช้งานที่หลากหลาย
-
โดยเฉพาะในการออกรุ่นประจำปีของ E 262 พบปัญหาเนื่องจากขาดกลไกอัตโนมัติสำหรับตรวจสอบความถูกต้องและความสอดคล้องของสเปก
-
ได้มีการเสนอแนวทางใหม่ที่สามารถดึงสเปกเชิงกลไกออกจาก Pro specification โดยอัตโนมัติ เพื่อนำไปประยุกต์ใช้ได้หลากหลาย เช่น การสังเคราะห์โปรแกรมทดสอบความสอดคล้องและการวิเคราะห์ชนิดข้อมูล
-
สเปกเชิงกลไกที่ดึงออกมาแล้วสามารถใช้สร้าง implementation ของภาษาเฉพาะทางโดยอัตโนมัติ และได้เปิดเผยเป็นโอเพนซอร์สเพื่อให้สามารถนำไปใช้จริงในการพัฒนาภาษา JavaScript
-
แนวทางที่มีอนาคตสำหรับการพัฒนาภาษาโปรแกรมคือ ออกแบบภาษาด้วยสเปกเชิงกลไกก่อน แล้วใช้สิ่งนั้นสร้างทั้ง Pro specification และ implementation ของภาษา ซึ่งได้รับการพิสูจน์แล้วว่าสามารถทำได้จริงและใช้งานได้จริงกับ JavaScript
-
รายละเอียดเพิ่มเติมของงานนี้สามารถดูได้ใน Communications ของ ACM ฉบับเดือนเมษายน 2024 และได้นำเสนอวิธีการที่สามารถประยุกต์ใช้ได้ทั้งกับภาษาโปรแกรมที่มีอยู่เดิมและภาษาโปรแกรมใหม่
4 ความคิดเห็น
น่าเสียดายที่บทความแนวนี้ซึ่งช่วยแนะนำเรื่องพวกนี้ กลับไม่ค่อยให้ลิงก์ไปยังต้นฉบับงานวิจัยโดยตรงสักเท่าไร
ในบทความวิทยาศาสตร์ของสื่อบางแห่ง บางครั้งจะใส่ DOI ไว้ท้ายบทความเพื่อให้ผู้อ่านตามไปหาเปเปอร์ที่บทความนั้นกล่าวถึงได้ ผมเลยหวังว่าธรรมเนียมแบบนั้นจะแพร่หลายมากขึ้น
อย่างไรก็ดี เพราะแบบนั้นผมจึงไปค้นหาลิงก์ของงานวิจัยและ GitHub ที่บทความข้างต้นพูดถึงมาด้วยตัวเองแล้วนำมาไว้ให้ครับ
อ๊ะ ผมก็แค่นำข่าวมาลงเหมือนกัน ขอบคุณที่ช่วยเสริมรายละเอียดเกี่ยวกับงานวิจัยให้นะครับ!
eumaน่าจะเป็นการพิมพ์ผิดนะ!ด้านล่างคือวิดีโอ YouTube ที่เกี่ยวข้อง
https://www.youtube.com/watch?v=JGxc-KIUnQY
เนื้อหาข้างต้นเป็นการสรุปโดยใช้ Corely
https://corely.ai/content/…