[C++] Creare un compilatore per un nuovo linguaggio

[XWolverineX]

Mi frulla questa idea da un po di tempo.
Ovviamente non ho in mente niente di serio, ma sapendo che alcuni linguaggi discendono dal C++, come si crea un piccolo compilatore che esegue semplici comandi, tipo print,qualche calcolo, dichiarare una variabile e quant'altro?

[gygabyte017]

dipende. lo vuoi fare Compilato o interpretato?

Se compilato lascia stare...... dovresti studiarti la struttura di un PE (Portable Executable) per creare il tuo exe finale.

Se interpretato è più fattibile, in quanto ti crei un programma "base" uguale per tutti i programmi che "legge" uno script che corrisponde al codice inserito dall'utente ed agire di seguito. Dovresti crearti quindi 1)Un parser 2)Il programma base che legge lo script.

[infinitejustice]

Devi prima creare la grammatica del tuo linguaggio.
Se nn arro, ad esempio, nel K&R, in fondo, trovi quella del C, cosi gli dai un'occhiata.

Una volta che hai definito la grammatica passi a creare tutti i vari componenti (lettura sorgente, parsing, ...).

A noi lo hanno fatto fare all'uni. E funzionava pure!
Un solo tipo di dato, operazioni matematiche elementari, ...

[king64]

Originariamente inviato da gygabyte017
dipende. lo vuoi fare Compilato o interpretato?

Se compilato lascia stare...... dovresti studiarti la struttura di un PE (Portable Executable) per creare il tuo exe finale.

Se interpretato è più fattibile, in quanto ti crei un programma "base" uguale per tutti i programmi che "legge" uno script che corrisponde al codice inserito dall'utente ed agire di seguito. Dovresti crearti quindi 1)Un parser 2)Il programma base che legge lo script.

In effetti la differenza tra compilato e bytecode non risiede tanto nella struttura del PE ma nel fatto che nel primo devi maneggiare l'Assembly mentre nel secondo puoi scegliere un codice più adatto alle tue conoscenze . Ovviamente le controindicazioni a questo genere di approccio sono essenzialmente due : taglia del codice e velocità di esecuzione , che nel caso del bytecode saranno per forza di cose maggiori di uno compilato , in quanto si tratterà pur sempre di un codice interpretato .

[XWolverineX]

Bhe a me non interessa compilato o interpretato, voglio solo capire un po la dinamica del compilatore.
Un parser è quindi un programma che converte un file con delle scritte in un codice consono al compilatore...
Come posso procedere per passi?

Se volessi fare invece un linguaggio compilato, non potrei fare una traduzione di un prog scritto nel mio linguaggio in linguaggio C++ e farlo compilare? In teoria otterrei un exe...

[gygabyte017]

Originariamente inviato da XWolverineX
Se volessi fare invece un linguaggio compilato, non potrei fare una traduzione di un prog scritto nel mio linguaggio in linguaggio C++ e farlo compilare? In teoria otterrei un exe...

In teoria si...

[king64]

Originariamente inviato da XWolverineX
Bhe a me non interessa compilato o interpretato, voglio solo capire un po la dinamica del compilatore.
Un parser è quindi un programma che converte un file con delle scritte in un codice consono al compilatore...
Come posso procedere per passi?

A grandi linee un compilatore ha la seguente struttura :
Programma Sorgente-->Scanner<-->Parser-->Routine Semantica-->Generazione del Codice-->Programma Oggetto

Scanner arte del compilatore che si incarica di scandire il testo.
Interagisce con il Parser qualora quest'ultimo ha bisogno di analizzare il sorgente .
Parser :assolve la funzione di riconoscere una struttura in un file sorgente . Una volta riconosciuta la "da in pasto" alla corrispondente Routine Semantica .
Routine Semantica :si occupa di verificare la struttura passatagli dal parser , verificarne la correttezza semantica ed immagazzinare le necessarie informazioni in apposite tavole .
Generazione del Codice : è la parte finale del processo di compilazione . Qui il programma tradotto in forma interna viene trasformato nel file oggetto , vengono fatte le dovute ottimizzazioni e i vari linkaggi delle librerie .

Originariamente inviato da XWolverineX

Se volessi fare invece un linguaggio compilato, non potrei fare una traduzione di un prog scritto nel mio linguaggio in linguaggio C++ e farlo compilare? In teoria otterrei un exe...

Certamente . In questo caso si parla di traduttore . Come esempio puoi vedere il linguaggio BCX che riceve in input un sorgente in Basic BCX e restituisce in uscita un sorgente C che puo' essere compilato con diversi compilatori C .

[XWolverineX]

Grazie mille per lo schema, adesso la situazione è piu' chiara.
Rimane comunque il fatto che io non sappia fare niente di tutto ciò. Forse è un progetto esagerato??

[oregon]

Originariamente inviato da XWolverineX
Grazie mille per lo schema, adesso la situazione è piu' chiara.
Rimane comunque il fatto che io non sappia fare niente di tutto ciò. Forse è un progetto esagerato??

Sì ... anche avendo molta esperienza, è un progetto molto complesso.

Fai un po' tu ...

[Carminosky]

Mmm mmm creare un compilatore giusto?
Comincia a studiarti gli opcode dei processori, poi ne riparliamo