นี่คือชุดเอกสารประกอบการสอนที่จัดทำขึ้นในปี 2019 โดย Hong Jaemin จากภาควิชาวิทยาการคอมพิวเตอร์ KAIST ในฐานะผู้ช่วยสอนของรายวิชา ‘Programming Language’ (CS320) และได้รับการตรวจทานโดยศาสตราจารย์ Ryu Seokyoung (ภาษาเกาหลี, ภาษาอังกฤษ) เพื่ออธิบายพื้นฐานเชิงทฤษฎีของสิ่งที่เรียกว่า programming language ในวิทยาการคอมพิวเตอร์ เอกสารเหล่านี้ค่อย ๆ เพิ่มแต่ละแนวคิดในสาขานี้อย่างเป็นลำดับ เพื่อกำหนดภาษาโปรแกรมขนาดเล็กขึ้นมาในเชิงคณิตศาสตร์ และนำไปสู่การสร้าง interpreter ของมันด้วย Scala
2 ความคิดเห็น
คุณฮงแจมินได้เขียนหนังสือในชื่อ 'แข็งแกร่งด้วย type ยืดหยุ่นด้วย polymorphism' สินะครับ เป็นหนังสือจากคนที่รู้ทฤษฎีภาษาโปรแกรมอย่างลึกซึ้ง น่า期待มากเลยครับ
https://blog.insightbook.co.kr/2023/10/…
น่าสนใจดีที่ใช้ Scala เป็นสื่อการสอนในวิชาภาษาโปรแกรม
ปกติเห็นใช้ภาษาเชิงฟังก์ชันสาย ML อย่าง ocaml เป็นสื่อการสอนอยู่บ่อย แต่เพิ่งเคยเห็น Scala นี่แหละครับ และด้วยความที่ Scala ถูกใช้ในงานจริงค่อนข้างมากในฐานะภาษาบน JVM ก็เลยดูมีความเป็นประโยชน์เชิงปฏิบัติมากกว่าด้วย