แนะนำหนังสือ 『Types in Programming Languages』

สำนักพิมพ์ Insight กำลังวางแผนหนังสือที่อธิบายทฤษฎีประเภทข้อมูลในเชิงแนวคิด โดยมุ่งเป้าไปที่ผู้อ่านที่มีประสบการณ์ด้านการเขียนโปรแกรมมาพอสมควร และได้มีการเปิดเผยฉบับร่างต้นฉบับแล้ว (ที่ทราบว่าเป็นฉบับร่างนั้น ผู้เขียนได้สอบถามกับบรรณาธิการมา)

หนังสือภาษาเกาหลีที่เกี่ยวกับทฤษฎีภาษาโปรแกรมนั้นก็ไม่ได้ออกมาบ่อยอยู่แล้ว และแม้ว่าทั้งเล่มจะยังเป็นฉบับร่าง แต่การเปิดเผยเนื้อหาทั้งหมดแบบครบถ้วนก็ถือว่าไม่ค่อยเกิดขึ้น จึงอยากนำมาแนะนำ อีกทั้งแม้จะไม่ใช่ภาษาเกาหลี แต่ก็ยังมีตำราเรียนชื่อ Introduction to Programming Languages ที่ผู้เขียนคนเดียวกันร่วมเขียนไว้ด้วย

[alstjr7375]

แม้จะไม่ใช่แนวกระแสหลัก แต่ช่วงนี้ประเภทต่าง ๆ ที่ถูกนำมาใช้ในภาษาสำหรับการพิสูจน์ก็น่าสนใจดีนะครับ

Idris 2: Quantitative Type
https://arxiv.org/abs/2104.00480

Cubical agda
https://dl.acm.org/doi/10.1145/3341691

[kleinstein]

ดูแล้วไม่น่าจะเป็นหนังสือที่ช่วยให้คนทำงานภาคสนามนำไปใช้ได้ทันทีนัก
แต่ชัดเจนว่าดูจะโฟกัสไปที่ทฤษฎีและหลักการมากกว่า
หนังสือแบบนี้ก็ควรหาเวลาอ่านเป็นระยะเหมือนกัน.. T_T

[dotoritos]

ถ้าไม่เป็นการเสียมารยาท ขอแค่เลี้ยงไก่ทอดทั้งตัวสักตัวก็พอครับ