C'è stata una ricerca sulla linguistica di programmazione?

I linguaggi di programmazione sono linguaggi formali , ma a differenza di molti formalismi, hanno anche un significato intrinseco definito dalla loro semantica operativa o, nel caso dei linguaggi di markup, dalla semantica della presentazione . E i linguaggi di programmazione, sebbene effettivamente formali, sono molto simili ai linguaggi naturali, in termini di comunicazione che consentono.

Mentre lo sviluppo dei linguaggi di programmazione è artificiale, i processi di evoluzione, prestito, mescolanza e mutazione del linguaggio naturale hanno tutti controparti artificiali abbastanza chiare. Quindi mi chiedo: c'è mai stata una ricerca approfondita e approfondita sull'evoluzione e sul comportamento dei linguaggi di programmazione dal punto di vista di un linguista  ?

Ricorda che le grammatiche formali, senza le quali la programmazione moderna non potrebbe essere, sono il prodotto della ricerca del linguista Noam Chomsky .

Un incidente d'auto mi ha impedito di terminare una tesi di laurea sull'argomento che mi chiedi, quindi non ci sono riferimenti che posso darti, solo un'opinione.

Le lingue parlate si evolvono a qualsiasi velocità a seconda del contesto e lo fanno in modi imprevedibili come i contesti umani imprevedibili. Il risultato della seconda guerra mondiale ebbe enormi effetti sulla lingua giapponese. Britannici, australiani, sudafricani e nordamericani non parlano abbastanza la stessa lingua. L'uso delle declinazioni dei verbi tra quelle che erano le colonie spagnole è diventato abbastanza diverso dopo duecento anni di indipendenza (le ex colonie pensano che lo spagnolo di Spagna sia arcaico ).

Solo la forza dell'efficienza sulla fonetica fa sì che le diverse parole usate con frequenze diverse su regioni diverse vengano pronunciate in modo diverso: le parole molto comuni vengono scremate o errate, e quelle meno comuni vengono dichiarate nel modo più accurato possibile.

I linguaggi naturali, con le loro variazioni, sfumature ed evoluzione, non sono adatti al determinismo che chiediamo ai computer. (Accidenti! Vista la comunanza di fraintendimenti e interpretazioni secondarie, sembra che non siano adatti nemmeno per le interazioni più semplici tra gli umani [astenendosi dal citare battute su ciò che dice la ragazza / ragazzo e cosa significa realmente])

Rileggo la domanda e penso che la mia risposta originale non l'abbia affrontata. Ecco un altro tentativo.

No, non ho fatto ricerche serie sulla linguistica del linguaggio di programmazione di cui sono a conoscenza. Ci sono stati lignaggi linguistici tracciati per due rami principali e un subbranch:

• Procedimental. Von Neuman . Dijkstra . Fortran, Pascal, C.
  • Orientato agli oggetti. Simula. Smalltalk.
• Funzionale. McArthy . LISP.

Per quelli di noi con decenni nel settore è ovvio che i linguaggi di programmazione si sono incrociati, e che quindi si trovano la maggior parte degli aspetti di qualsiasi paradigma puro nella maggior parte dei linguaggi di programmazione moderni, i cosiddetti linguaggi di programmazione multiparadigm : C #, Python, Java, .. .. Anche in precedenza linguaggi funzionali puri come OCaml e Haskell includono abbastanza funzioni procedurali (tramite monadi ) e OO per permetterti di fare qualsiasi cosa.

Quello che è successo, penso, è che è diventato ovvio che era costoso (quando non sciocco) cambiare linguaggio di programmazione solo per essere in grado di applicare un paradigma giusto a un dato sottoproblema.

Rimane un'eccezione alla tendenza nell'area dei sistemi altamente paralleli e asincroni. Lì le lingue preferite sono strettamente funzionali, come Erlang , probabilmente perché è più facile pensare a sistemi così complessi funzionalmente.

La parte non paradigmatica dell'evoluzione è stata sulla sintassi. Le lingue che hanno incoraggiato o addirittura permesso programmi criptici sono diventate sempre meno utilizzate ( APL , AWK e persino Perl e LISP). Le sintassi dominanti oggi sono quelle di linguaggi più leggibili (anziché facilmente scrivibili) come C (C ++, C #, Java, Objective-C, Scala, Go, IML, CSS, JavaScript e anche Python), Pascal (Fortran 90+ x), Smalltalk (Ruby), ML / Miranda (OCaml, Haskell, Erlang) e SGML (HTML, XML).

Questo diagramma non è completamente accurato, e non è aggiornato, ma dà una buona idea di quanti linguaggi di programmazione sono confluiti dall'era del linguaggio per sito degli anni '70.

Mi piacciono le risposte di @ Apalala, che sembrano mostrare una convergenza con alcune delle principali lingue di uso generale. Questo ha senso solo, dal momento che una buona idea in uno può prima o poi essere presa dagli altri.

Ciò che aggiungerei è che ogni volta che si utilizza una lingua, la si estende necessariamente, aggiungendo termini, trasformandola in una lingua più orientata al dominio a portata di mano. A volte questo è abbastanza semplice, a volte no. Ecco un esempio che non è stato così semplice.

Una proprietà che apprezzo in una lingua di uso generale è la misura in cui aiuta nella definizione di nuove lingue specifiche del dominio.