มีงานวิจัยเกี่ยวกับการเขียนโปรแกรมภาษาศาสตร์หรือไม่?

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

ในขณะที่การพัฒนาภาษาโปรแกรมเป็นสิ่งประดิษฐ์กระบวนการวิวัฒนาการทางภาษาธรรมชาติการยืมการผสมระหว่างกันและการกลายพันธุ์ทั้งหมดนั้นมีคู่เทียมที่ค่อนข้างชัดเจน ดังนั้นฉันจึงสงสัยว่า: เคยมีงานวิจัยขนาดใหญ่ที่เจาะลึกเกี่ยวกับวิวัฒนาการและพฤติกรรมของภาษาโปรแกรมจากมุมมองของนักภาษาศาสตร์  หรือไม่?

โปรดจำไว้ว่าไวยากรณ์อย่างเป็นทางการซึ่งหากไม่มีโปรแกรมสมัยใหม่ไม่สามารถเป็นผลงานวิจัยของนักภาษาศาสตร์นอมชอมสกีได้

อุบัติเหตุทางรถยนต์ทำให้ฉันไม่สามารถทำวิทยานิพนธ์ที่สำเร็จการศึกษาในเรื่องที่คุณถามดังนั้นจึงไม่มีการอ้างอิงที่ฉันสามารถให้คุณได้มีเพียงความเห็น

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

เพียงพลังแห่งประสิทธิภาพเหนือสัทศาสตร์ทำให้คำต่าง ๆ ที่ใช้กับความถี่ที่แตกต่างกันในแต่ละพื้นที่มีความแตกต่างกันอย่างชัดเจน: คำที่เหมือนกันมากคือคำขาดหรือคำที่สะกดผิด

ภาษาธรรมชาติที่มีความแตกต่างความแตกต่างและวิวัฒนาการไม่เหมาะกับระดับที่เราต้องการสำหรับคอมพิวเตอร์ (Gee! ด้วยความธรรมดาสามัญของการตีความที่ผิดและการตีความที่สองดูเหมือนว่าพวกเขาไม่เหมาะสำหรับการปฏิสัมพันธ์ที่ง่ายที่สุดในหมู่มนุษย์ [งดเว้นจากการพูดตลกเกี่ยวกับสิ่งที่ผู้หญิง / เพื่อนชายพูดและสิ่งที่มันหมายถึงจริงๆ])

ฉันอ่านคำถามอีกครั้งและฉันคิดว่าคำตอบดั้งเดิมของฉันไม่ได้ตอบ ลองอีกครั้ง

ไม่ยังไม่มีการวิจัยอย่างจริงจังเกี่ยวกับภาษาศาสตร์ภาษาโปรแกรมที่ฉันรู้ มีภาษาที่สืบเชื้อสายมาจากสองสาขาหลักและสาขาย่อย:

• Procedimental von Neuman Dijkstra Fortran, Pascal, C.
  • เชิงวัตถุ Simula หูฟัง.
• การทำงาน. McArthy LISP

สำหรับพวกเราที่มีหลายสิบปีในฟิลด์เป็นที่ชัดเจนว่าภาษาโปรแกรมมีการผสมและดังนั้นจึงพบส่วนใหญ่ของกระบวนทัศน์บริสุทธิ์ใด ๆในภาษาการเขียนโปรแกรมที่ทันสมัยที่สุดที่เรียกว่าภาษาการเขียนโปรแกรมแบบหลายตอนนี้: C #, Python, Java .. ก่อนหน้านี้แม้แต่ภาษาที่ใช้งานได้อย่างบริสุทธิ์เช่น OCaml และ Haskell ยังมีขั้นตอนที่เพียงพอ (ผ่านmonads ) และคุณสมบัติ OO เพื่อให้คุณทำอะไรได้เลย

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

ยังคงมีข้อยกเว้นสำหรับแนวโน้มในพื้นที่ของระบบขนานและอะซิงโครนัสสูง ภาษาที่ต้องการนั้นมีการใช้งานอย่างเคร่งครัดเช่นErlangอาจเป็นเพราะง่ายต่อการคิดเกี่ยวกับระบบที่ซับซ้อนเช่นนั้น

ส่วนที่ไม่ใช่กระบวนทัศน์ของวิวัฒนาการอยู่บนไวยากรณ์ ภาษาที่สนับสนุนหรืออนุญาตให้ใช้โปรแกรมที่เป็นความลับได้กลายเป็นใช้น้อยลง ( APL , AWK , และแม้แต่ Perl และ LISP) ไวยากรณ์ที่เหนือกว่าในปัจจุบันคือภาษาที่อ่านได้ง่ายกว่าภาษา C (C ++, C #, Java, Objective-C, Scala, Go, IML, CSS, JavaScript และ Python), Pascal (Fortran 90+) x), Smalltalk (Ruby), ML / Miranda (OCaml, Haskell, Erlang) และSGML (HTML, XML)

แผนภาพนี้ไม่ถูกต้องสมบูรณ์และไม่ทันสมัย ​​แต่มันก็ให้ความคิดที่ดีว่าภาษาการเขียนโปรแกรมได้แปรเปลี่ยนไปมากน้อยเพียงใดตั้งแต่ยุคภาษาต่อไซต์ของปี 1970

ฉันชอบคำตอบของ @ Apalala ซึ่งดูเหมือนจะแสดงการบรรจบกันของภาษาที่ใช้งานทั่วไปที่สำคัญบางอย่าง นั่นเป็นเพียงเหตุผลเพราะความคิดที่ดีในข้อใดข้อหนึ่งสามารถหยิบขึ้นมาได้ไม่ช้าก็เร็ว

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

คุณสมบัติที่ฉันชื่นชมในภาษาที่ใช้งานทั่วไปคือขอบเขตที่ให้ความช่วยเหลือในการกำหนดภาษาเฉพาะโดเมนใหม่