Dilbilimi programlama konusunda araştırma var mı?

Programlama dilleri biçimsel dillerdir , ancak birçok biçimciliğin aksine, aynı zamanda işletimsel semantikleri veya biçimlendirme dilleri söz konusu olduğunda sunum semantiği tarafından tanımlanan belirli bir anlamı vardır . Ve programlama dilleri, aslında resmi olsa da, izin verdikleri iletişim açısından doğal dillere çok benzer.

Programlama dillerinin gelişimi yapay olsa da, evrim, borçlanma, karışıklık ve mutasyonun doğal dil süreçlerinin hepsi oldukça açık yapay meslektaşlara sahiptir. Merak ediyorum: Bir dilbilimci bakış açısıyla programlama dillerinin evrimi ve davranışı hakkında daha önce hiç kapsamlı, derinlemesine bir araştırma yapıldı  mı?

Modern programlamanın olamayacağı biçimsel gramerlerin dilbilimci Noam Chomsky'nin araştırmasının ürünü olduğunu unutmayın .

Bir trafik kazası, sorduğunuz konuda bir mezuniyet tezi bitirmemi engelledi, bu yüzden size verebileceğim referans yok, sadece bir görüş var.

Sözlü diller, bağlama bağlı olarak herhangi bir hızda gelişir ve bunu öngörülemeyen insan bağlamları olarak öngörülemez şekillerde yaparlar. İkinci Dünya Savaşı'nın sonucunun Japonca dili üzerinde büyük etkileri oldu. İngilizler, Avustralyalılar, Güney Afrikalılar ve Kuzey Amerikalılar aynı dili konuşmuyorlar. Eskiden İspanyol kolonileri olarak kullanılan fiil sapmalarının kullanımı, iki yüz yıllık bağımsızlıktan sonra oldukça farklı hale geldi (eski koloniler İspanya İspanyollarının arkaik olduğunu düşünüyorlar ).

Sadece fonetik üzerindeki verimlilik gücü, farklı bölgelerdeki farklı frekanslarda kullanılan farklı sözcüklerin farklı şekilde telaffuz edilmesini sağlar: çok yaygın kelimeler gözden kaçırılır veya yanlış yazılır ve daha az yaygın olanları mümkün olduğunca doğru ifade edilir.

Doğal diller, varyasyonları, nüansları ve evrimleri ile bilgisayarlardan talep ettiğimiz determinizme uygun değildir. (Vay! Yanlış yorumların ve ikinci yorumların ortaklığı göz önüne alındığında, insanlar arasındaki en basit etkileşimler için bile uygun görünmüyorlar [kız / erkek arkadaşının söyledikleri ve gerçekte ne anlama geldiği hakkında şakalar yapmaktan kaçınmak]

Soruyu tekrar okudum ve sanırım asıl cevabım buna değinmedi. İşte başka bir deneme.

Hayır, farkında olduğum programlama dili dilbilimi hakkında ciddi bir araştırma yapılmamıştır. İki ana dal ve bir alt dal için izlenen dil soyları vardır:

• Procedimental. Von Neuman . Dijkstra . Fortran, Pascal, C.
  • Nesne odaklı. Simula. Smalltalk.
• Fonksiyonel. McArthy . LISP.

Alanında onlarca yıl olanlarımız için, programlama dillerinin birbirine karıştığı açıktır ve bu nedenle , şu anda çok modlu programlama dilleri olarak adlandırılan çoğu modern programlama dilinde saf paradigmanın çoğu yönünü bulur : C #, Python, Java, .. Daha önce OCaml ve Haskell gibi saf işlevsel diller bile , herhangi bir şey yapmanıza izin veren yeterli prosedürel ( monadlar aracılığıyla ) ve OO özellikleri içerir.

Sanırım olan şey, belirli bir alt probleme doğru bir paradigmayı uygulamak için programlama dillerini değiştirmek zorunda kalmanın (aptalca değilken) maliyetli olduğu açıktı .

Oldukça paralel ve asenkron sistemler alanındaki eğilime bir istisna bulunmaktadır. Erlang gibi tercih edilen diller kesinlikle işlevseldir, çünkü muhtemelen bu tür karmaşık sistemleri işlevsel olarak düşünmek daha kolaydır.

Evrimin paradigmatik olmayan kısmı sözdizimindeydi. Şifreleme programlarını teşvik eden veya hatta izin veren diller gittikçe daha az kullanıldı ( APL , AWK ve hatta Perl ve LISP). Bugün hakim olan sözdizimleri, C (C ++, C #, Java, Objective-C, Scala, Go, IML, CSS, JavaScript ve ayrıca Python), Pascal (Fortran 90+) gibi daha okunabilir (kolayca yazılabilir) dillerdir. x), Smalltalk (Ruby), ML / Miranda (OCaml, Haskell, Erlang) ve SGML (HTML, XML).

Bu diyagram tamamen doğru değildir ve güncel değildir, ancak 1970'lerin site başına dil döneminden bu yana ne kadar programlama dilinin dönüştüğü hakkında iyi bir fikir vermektedir.

@ Apalala'nın birkaç genel amaçlı dile yakınsama gösterdiği cevaplarını seviyorum. Bu sadece mantıklıdır, çünkü birinde iyi bir fikir er ya da geç diğerleri tarafından alınabilir.

Ekleyeceğim şey, ne zaman bir dil kullanılıyorsa, şartlar ekleyerek, eldeki alan adına daha yönlendirilmiş bir dile dönüştürerek mutlaka onu genişletiyorlar. Bazen bu oldukça basittir, bazen değil. İşte bu kadar basit olmayan bir örnek.

Genel amaçlı bir dilde takdir ettiğim bir özellik, yeni alan adına özgü dillerin tanımlanmasına ne ölçüde yardımcı olduğudur.