ฉันเพิ่งเรียน Haskell และภาษาการเขียนโปรแกรม ใครช่วยแนะนำหนังสือเกี่ยวกับทฤษฎีการพิมพ์บ้างไหม?
คำตอบ:
รากฐานซอฟต์แวร์โดย Benjamin C. Pierce เป็นจุดเริ่มต้นที่ดี มันน่าจะเป็นสารตั้งต้นที่ดีสำหรับประเภทและภาษาการเขียนโปรแกรมของเขา นอกจากนี้ยังมีไซมอน ธ อมป์สันประเภททฤษฎีและหน้าที่ Programmingและราร์ดพิสูจน์และประเภท
Barendregts แลมบ์ดาแคลคซีที่มีประเภทเป็นขั้นสูงกว่า แต่ครอบคลุมหัวข้อที่สำคัญบางอย่างในทฤษฎี "คลาสสิค" ของประเภทต่างๆ
หนังสือของ Robert Harper ฐานรากเชิงปฏิบัติสำหรับการเขียนโปรแกรมภาษา (มีให้บริการแบบร่างออนไลน์: http://www.cs.cmu.edu/~rwh/plbook/book.pdf ) เป็นทางเลือกที่ค่อนข้างเข้มกว่าประเภทและภาษาการเขียนโปรแกรม
มันเพิ่มเติมเกี่ยวกับพื้นฐานทางคณิตศาสตร์และน้อยกว่าเกี่ยวกับวิทยาศาสตร์คอมพิวเตอร์ แต่หนังสือHomotopy Type Theory: Univalent Foundations of Mathematicsมีให้บริการฟรีในรูปแบบ pdf ภายใต้ใบอนุญาต CC
หนังสือดีที่แยบยลประเภททฤษฎีกับการเขียนโปรแกรมในภาษาทำงานเป็นดิดิเย่ร์เรมี่ของการใช้ความเข้าใจและไข OCaml ภาษา