Cosa significa che "la lingua A è scritta nella lingua B"?

Sento spesso il termine che la lingua A è scritta nella lingua B. Ad esempio, PHP è stato scritto C , C # è scritto in C ++ .

Qualcuno può spiegare cosa significa e se è anche corretto? Ha qualcosa a che fare con il compilatore di interprete usato dalla lingua?

Inoltre, quali sono i fattori su cui si basa la scelta del linguaggio di attuazione?

La maggior parte dei linguaggi di programmazione rientrano in due categorie: linguaggi interpretati e compilati.

Un linguaggio compilato viene tradotto da un compilatore in codice macchina , il linguaggio che la CPU esegue direttamente passo dopo passo. Una lingua interpretata, d'altra parte, utilizza un intermediario, un interprete , per eseguire il codice della lingua. L'interprete è esso stesso un altro programma, solitamente compilato a sua volta in codice macchina.

PHP è un linguaggio interpretato. È necessario un programma separato per eseguire il codice PHP, il computer non esegue direttamente il programma. Quel programma separato, l'interprete PHP, è esso stesso scritto in C.

C # è un linguaggio compilato, ma non è compilato per il codice macchina. Invece, viene compilato in un linguaggio specialistico, codice byte, per essere eseguito su una macchina virtuale. Java è un altro esempio di tale configurazione. Potresti vederlo come un ibrido tra compilazione e interpretazione, in cui la macchina virtuale è un interprete. La macchina virtuale per C # (CLI o Common Language Infrastructure ) è scritta in C ++.

Altri esempi sono:

• Python: l'interprete Python compila il codice Python in bytecode Python, quindi interpreta il bytecode. L'interprete stesso è scritto in C. Da allora sono state aggiunte nuove implementazioni, tra cui una che compila python per essere eseguita sulla stessa CLI utilizzata per C #, chiamata IronPython , e una che gira sulla macchina virtuale Java, Jython . Per completare il cerchio, esiste una versione di Python scritta in (un sottoinsieme di) Python, PyPy .
• Ruby: Ruby è nato come un linguaggio interpretato puro, ma la versione più recente è passata all'utilizzo del bytecode. Anche per Ruby esiste un progetto che si compila alla CLI, chiamato IronRuby , e uno per Java VM, JRuby .

Hai fondamentalmente ragione. Se si dice che Ruby è scritto in C, ciò significa che l'interprete linguistico e parti della libreria principale sono scritti in C.

Quindi l'interprete Ruby è un programma C che accetta un file di testo come input, lo elabora e quindi chiama le funzioni che si trovano in un altro file di testo (se scritto in Ruby) o che sono compilate in codice C, come gran parte delle funzionalità di base che richiedono per accedere direttamente alle risorse di sistema come memoria, file system e altro. E alcune funzioni che richiedono prestazioni molto elevate.

Quindi hai parti diverse di una lingua che possono o devono essere scritte in altre lingue. Nulla ti impedirebbe di scrivere l'interprete in C e le librerie in C ++ (anche se forse rendere alcune cose più difficili). Potresti anche avere più passaggi e utilizzare un linguaggio molto efficace nell'elaborazione del testo per generare alcuni dati intermedi che vengono quindi elaborati da un codice C.

I fattori per la decisione possono essere gli stessi di altre applicazioni complesse. Le prestazioni sono una. La possibilità di scrivere codice in grado di accedere direttamente alle risorse di sistema un altro. Quindi nella maggior parte dei casi deve essere un linguaggio compilato (anche se in teoria potresti scrivere un interprete Ruby in Python). La disponibilità su sistemi diversi è importante se si desidera che la propria lingua venga eseguita su Linux, Win, OS X e altri.

Significa semplicemente che la maggior parte del nucleo della lingua A è scritta nella lingua B. Quale "nucleo della lingua A" potrebbe differire da una lingua all'altra, ma in termini generali indovina, significa che è un compilatore o un interprete. Il fattore decisivo nella scelta di una lingua in cui scrivere un'altra lingua è, come in quasi tutti i progetti, quali lingue conoscono maggiormente gli sviluppatori.

Detto questo, "la lingua A è scritta nella lingua B" è una semplificazione eccessiva per la maggior parte delle lingue moderne. Se prendiamo Python come esempio, mentre l'implementazione di riferimento, CPython , è stata effettivamente scritta in C, ci sono implementazioni scritte in altre lingue, come Jython (scritto in Java), IronPython (scritto in C #), PyPy (scritto in Python), CLPython (scritto in Common Lisp), Stackless Python (scritto in C e Python) e Unladen Swallow (scritto in C ++).

Un linguaggio di programmazione è una definizione e, come mostra l'esempio di Python, in realtà non ci sono restrizioni sui linguaggi in cui il suo compilatore, interprete e librerie possono essere scritti. E naturalmente è anche possibile che un linguaggio sia scritto in se stesso, attraverso un processo chiamato bootstrap .

Dal punto di vista dell'uso di un linguaggio di programmazione, un linguaggio di programmazione è solo un programma. Potrebbe essere un compilatore, o potrebbe essere un interprete, oppure potrebbe essere una sorta di macchina virtuale. Tutte queste cose sono solo programmi per computer e quindi possono essere scritte in qualsiasi lingua.

Quindi, se si desidera creare la propria versione di PHP, è possibile iniziare con qualsiasi lingua in cui si è più fluenti. Si dovrebbe quindi scrivere un programma in grado di leggere il codice in formato PHP e fare qualunque cosa le specifiche PHP dicono che il programma dovrebbe fare . Stai quindi creando il linguaggio PHP nel linguaggio X.

Una frase molto simile con un significato completamente diverso è "scrivere la lingua A nella lingua B", ad esempio "scrivere C in Java".

Questo descrive un codice sintatticamente corretto in una lingua, ma utilizza strutture, modi di dire e convenzioni di un'altra lingua. Nell'esempio "scrivere C in Java", i segni di ciò significherebbero dichiarare tutte le variabili locali in cima a ciascun metodo, usando costanti intere invece di enum, usando identifiers_with_underscores, ecc.

In genere questo accade quando qualcuno ha lavorato con una lingua per molto tempo (specialmente quando ha lavorato solo con quella lingua) ed è molto nuovo nella lingua corrente (o non è interessato a scrivere codice pulito).

La tecnologia è un processo intrinsecamente iterativo. Iniziamo con strumenti semplici e quindi li usiamo per crearne di migliori. Le prime lingue di assemblaggio erano praticamente traduzioni 1: 1 dei codici standardizzati di istruzioni per il chip; l'architettura 8086 e il suo assemblatore sono diventati dominanti su altre architetture come Z80, RISC, ecc., e così abbiamo iniziato a sviluppare linguaggi che potrebbero essere digeriti in assembly 8086, come FORTRAN, COBOL, Pascal e C. Il programma che interpreta il codice sorgente di queste lingue devono essere scritte in qualcosa di più primitivo, altrimenti si finisce in una discussione a base di gallina e uovo; se il codice sorgente per il primo compilatore C è stato scritto in C, che cosa ha compilato quel codice sorgente C e che, per definizione, non sarebbe il primo compilatore C?

Fondamentalmente, "C # è scritto in C ++" dovrebbe essere inteso nel senso che il primo e / o più popolare compilatore e librerie di runtime / core che obbediscono alle specifiche del linguaggio C # (che sono Microsoft .NET Framework e il compilatore da riga di comando programma CSC.exe) sono scritti in C ++.

"La lingua A è scritta nella lingua B" significa che l'unica implementazione della lingua A (o l'unica ampiamente utilizzata) è quella che è in realtà un progetto sviluppato nella lingua B e l'unica completa, aggiornata la specifica di A è il codice sorgente B che lo implementa in modo tale che se la documentazione e il programma B non sono d'accordo, il programma B viene generalmente considerato corretto.