ศึกษาทฤษฎีภาษาโปรแกรม


16

เมื่อไม่นานมานี้ฉันมีความสนใจอย่างมากในการทำความเข้าใจและพิสูจน์แง่มุมของภาษาโปรแกรม (หน้าที่)

อย่างไรก็ตามในขณะที่ฉันดำดิ่งลงไปสิ่งต่าง ๆ เช่นแคลคูลัสทฤษฎีหมวดหมู่และความหมายเชิง Denotational นั้นค่อนข้างยากที่จะติดตามโดยไม่มีคำอธิบายที่เหมาะสมλ

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

คำตอบ:


10

มันไม่ง่ายนักที่จะพิจารณาจากความหมายเชิงลบของ -calculus ความเป็นไปได้อย่างหนึ่งคือ:λ

  1. Roberto M. Amadio และ Pierre-Louis Curien: โดเมนและ Lambda-Calculi

บัญชีประเภททฤษฎีได้ง่ายกว่าที่จะได้รับ:

  1. บ็อบฮาร์เปอร์รากฐานของภาษาโปรแกรม (ยังมีฉบับพิมพ์ )
  2. เบนจามินเพียร์ซ, ประเภทและการเขียนโปรแกรมภาษา
  3. หลักสูตรของ Frank Pfenning เรื่องการคำนวณและการหักเงินฉันคิดว่าเขายังตีพิมพ์หนังสือที่มีชื่อเรื่องเดียวกัน

ผมไปกับDomains and Lambda-Calculiเช่นเดียวกับDesign Concepts in Programming Languages(หนา แต่มันคุ้มค่าเพื่อให้ห่างไกล)
แดเนียล Gratzer


-3

หนังสือเหล่านี้มีเรตติ้งสูงและเกิดขึ้นในชุมชนวิทยาศาสตร์หลายแห่ง:

ประเภททฤษฎีและการโปรแกรมเชิงหน้าที่โดย Simon Thompson

โครงสร้างและการตีความโปรแกรมคอมพิวเตอร์


3
หนังสือเหล่านี้พูดถึงทฤษฎีอย่างไร ทำไมคุณถึงแนะนำพวกเขา; คุณอ่านมาแล้วเหรอ?
กราฟิลส์
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.