การวิเคราะห์ภาษาการเขียนโปรแกรม

ในSICPรัฐผู้เขียน ( ส่วน 1.1 ) ว่ามี "กลไก" พื้นฐานสามประการของภาษาโปรแกรม:

• การแสดงออกดั้งเดิมซึ่งเป็นตัวแทนของหน่วยงานที่ง่ายที่สุดที่เกี่ยวข้องกับภาษา

• หมายถึงการรวมกันโดยที่องค์ประกอบผสมถูกสร้างขึ้นจากคนที่เรียบง่าย

• หมายถึงนามธรรมซึ่งองค์ประกอบสารประกอบสามารถตั้งชื่อและจัดการเป็นหน่วย

ฉันจะวิเคราะห์ภาษาโปรแกรมกระแสหลัก (ตัวอย่างเช่น Java) ในแง่ขององค์ประกอบหรือกลไกเหล่านี้ได้อย่างไร

ความแตกต่างระหว่างการแสดงออกดั้งเดิมวิธีการรวมกันและวิธีการที่เป็นนามธรรมเป็นประโยชน์อย่างหนึ่งเมื่อการสร้างแบบจำลองภาษาการเขียนโปรแกรม โปรดทราบว่านี่ไม่ใช่คุณสมบัติที่แท้จริงของภาษา: คุณไม่สามารถชี้คำจำกัดความของภาษาใด ๆ และพูดว่า "คุณลักษณะนี้ไม่เหมือนการแสดงออกแบบดั้งเดิมอย่างชัดเจนคุณลักษณะนั้นเป็นวิธีการรวมกันอย่างไม่น่าสงสัย" ความแตกต่างเป็นคุณสมบัติของแบบจำลองและแบบจำลองที่ซับซ้อนสามารถต้านทานการจำแนกได้

ตัวอย่างหนังสือเรียนของแนวคิดทั้งสามนี้คือแคลคูลัสแลมบ์ดาซึ่งมีหนึ่งในนั้น:

• ตัวแปรx , y , …เป็นนิพจน์ดั้งเดิมเท่านั้น
• ฟังก์ชันของแอปพลิเคชันMNเป็นวิธีการรวมกันอย่างหนึ่ง
• แลมบ์ดา abstraction λx.Mเป็นวิธีการหนึ่งที่เป็นนามธรรม

เมื่อคุณไปถึงภาษาที่มีคุณสมบัติมากขึ้นการสร้างแบบจำลองอาจคลุมเครือมากขึ้น โดยทั่วไปแล้วนิพจน์ดั้งเดิมเป็นสิ่งที่คุณไม่สามารถหรือไม่สามารถแยกออกเป็นองค์ประกอบดั้งเดิมได้ แต่มันก็เหมือนอะตอม : มันดั่งดั้งเดิมจนกระทั่งวิทยาศาสตร์เดินเข้ามา ตัวอย่างเช่นมีตัวแปรของแลมบ์ดา - แคลคูลัสซึ่งตัวแปรใช้ตัวเลขมากกว่าชื่อ ( ดัชนีเดอบรูนน์ ) ซึ่งสะดวกมากเป็นพิเศษเมื่อทำแบบจำลองแลมบ์ดา - ข้อพิสูจน์คอมพิวเตอร์; และในการพิสูจน์คอมพิวเตอร์จำนวนเต็มจะแบ่งออกเป็นส่วนที่เป็นส่วนประกอบ ดังนั้นในโมเดลเหล่านี้ตัวแปรจึงไม่ใช่นิพจน์ดั้งเดิม

ใน (โมเดลทั่วไปของ) Java นิพจน์ดั้งเดิมเป็นค่าคงที่และตัวแปรเป็นหลัก หมายถึงการรวมกันรวมถึงผู้ประกอบการจำนวนมาก; แม่นยำยิ่งขึ้น“ การแสดงออกที่เพิ่มขึ้น” เป็นวิธีการรวมกันกับสองช่อง (ด้านซ้ายและด้านขวา) หรือสามช่อง (ทั้งสองด้านบวกกับผู้ควบคุม) หากคุณรวมทั้งA + BและA - Bภายใต้ชื่อนั้น (ในกรณีนี้ผู้ประกอบการ+และ-จะเป็นโครงสร้างดั้งเดิมในสิทธิของตนเอง) วิธีการอื่น ๆ ของการรวมกัน ได้แก่ ลำดับของการสอนI ; J , การสร้างลูปwhile (…) {…}และอื่น ๆ จากนั้นคุณมีโครงสร้างเช่นประกาศตัวแปรคำจำกัดความของฟังก์ชั่นคำจำกัดความของชั้นเรียนและอื่น ๆ ซึ่งเป็นทั้งสองวิธีรวมกัน (พวกเขารวมชื่อพารามิเตอร์และประเภท, ร่างกาย, initializers, ... ) และวิธีการที่เป็นนามธรรม (เพราะพวกเขากำหนดชื่อ ในความเป็นจริงมันเป็นเรื่องธรรมดาที่หมายถึงการรวมกันเป็นนามธรรม: พวกเขารวมชื่อกับคำนิยาม

แทงหยาบ:

การแสดงออกเป็นเพียงแค่นั้น สิ่งที่ถือเป็นนิพจน์ใน Java ฉันไม่ทราบว่าจะขยายไปถึงรวมงบหรือไม่

ชุดค่าผสมจะรวมถึงการแสดงออกผสมคำสั่ง (ตัวแปร ?,) วิธีการกลไกการเรียนและแพคเกจ โมดูลเช่นกันเมื่อพวกเขาอยู่ในภาษา

ใน Java หมายถึงสิ่งที่ง่ายที่สุดของ abstraction คือคลาส: ไม่มีสิ่งใดอยู่นอกคลาส อาจมี "เลเยอร์" ของสิ่งที่เป็นนามธรรม: วิธีการแบบคงที่นั้นง่ายกว่าวิธีแบบอินสแตนซ์เนื่องจากมันไม่ต้องการอินสแตนซ์

Generics เสนอเลเยอร์เพิ่มเติมของสิ่งที่เป็นนามธรรม (และแห้ว)

นี่คือการจัดหมวดหมู่พื้นฐานของฉัน ฉันกำลังพยายามวาดภาพคู่กับ LISP

การแสดงออกดั้งเดิม

• ค่าดั้งเดิมทั้งหมดสิ่งที่คุณสามารถใช้แทนตัวอักษร (ตัวเลขบูลีน ... )

Parallel in LISP : อะตอมตัวเลขและรายการ

หมายถึงการรวมกัน (วิธีที่คุณสามารถสร้างโครงสร้างข้อมูลแบบผสม)

• อาร์เรย์
• วัตถุ / structs

Parallel in LISP : เซลล์ที่มีข้อ จำกัด

หมายถึงสิ่งที่เป็นนามธรรม

• ไวยากรณ์การไหลของการควบคุมทั้งหมด (ถ้าในขณะที่ใช้)
• ทั้งหมดผู้ประกอบการในตัว ( +, -, *, /, ... )
• ฟังก์ชั่นทั้งหมด (ในหมวดหมู่นี้เรามีชั้นเรียนและวิธีการ)

ขนานใน LISP : ฟังก์ชั่น, น้ำตาลประโยคเช่นlet,define

ภาษาโปรแกรมที่ถูกกำหนดโดยทั่วไปของไวยากรณ์และความหมาย ทั้งสองนี้จะถูกกำหนดไว้ในมาตรฐานสำหรับภาษา

ไวยากรณ์สรุปวิธีการเขียนโปรแกรมที่ถูกต้องและความหมายกำหนดความหมายของโปรแกรมที่ถูกต้อง

ในกรณีของคุณไวยากรณ์จะบอกคุณว่าดั้งเดิมของคุณคือวิธีที่คุณรวมพวกเขาและวิธีที่คุณนามธรรมพวกเขา ความหมายจะบอกคุณว่าชุดค่าผสมและ abstractions หมายถึงอะไร

ตัวอย่างเช่นไวยากรณ์จะบอกวิธีเขียนforลูปที่ถูกต้อง ซีแมนทิกส์จะบอกคุณว่าสำหรับลูปทำอะไร

หากคุณต้องการเริ่มต้นวิเคราะห์ภาษาการเขียนโปรแกรมให้หยิบสำเนามาตรฐานและดูว่ามีอะไรอยู่ในนั้นบ้าง ฉันจะเริ่มด้วยภาษาง่าย ๆ เช่น C ก่อนที่จะเจาะลึกเข้าไปใน Java ฉันจะอ่านหนังสือที่เหลือด้วย การเรียนรู้ว่าเหตุใดการเขียนโปรแกรมภาษาเกจเกจจึงทำให้ฉันเป็นโปรแกรมเมอร์ที่ดีขึ้นแม้ว่าฉันจะไม่ใช้คอมไพเลอร์ก็ตาม

ฉันไม่ทราบว่ามันถูกต้อง แต่วิธีที่ฉันเข้าใจการแบ่งเป็นดังนี้:

การแสดงออกดั้งเดิมเหล่านี้จะเป็นสิ่งต่าง ๆ เช่น >>, +, *, /, int, บูลีนตัวแปรวิธีการ ฯลฯ

หมายถึงการรวมกัน สิ่งนี้อาจเป็นที่ถกเถียงกันไม่ว่าจะเป็น + และ concact หรือการพูดคุยเกี่ยวกับแนวคิดขั้นสูงเพิ่มเติมเช่นการสืบทอดและการจัดองค์ประกอบและวิธีการในการทำเช่นนั้น การฉีดตัวดำเนินการใหม่การขยาย ฯลฯ

หมายถึงสิ่งที่เป็นนามธรรม, นี้จะเป็นไวยากรณ์ที่ใช้ในการตั้งชื่อตัวแปรและวิธีการเช่นเดียวกับวิธีการสร้างอินเตอร์เฟซ, คลาส, คลาสคงที่, วิธีการบรรทุกเกินพิกัด ฯลฯ

อย่างไรก็ตามเป็นไปได้ที่คุณจะต้องให้ข้อมูลเพิ่มเติมกับเราจากหนังสือเพื่อให้เราทราบว่ามีความหมายตรงไหน