come si crea un linguaggio di programmazione

[Digital_Style]

Molto spesso mi chiedo come si è passati dai primi computer che erano solo delle lampadine che si accendevano e spegnevano fino ad oggi.se erano solo lampadine i primi computer come hanno scritto il software?e come si scrive un linguaggio di programmazione?ad esempio il C in che linguaggio è scritto?

[okay]

Originariamente inviato da Digital_Style

Molto spesso mi chiedo come si è passati dai primi computer che erano solo delle lampadine che si accendevano e spegnevano fino ad oggi.se erano solo lampadine i primi computer come hanno scritto il software?e come si scrive un linguaggio di programmazione?ad esempio il C in che linguaggio è scritto?

è scritto in c e assembly

[repne scasb]

Sembrera' strano ma C e' scritto in C. A grandi linee, si supponga di creare un nuovo linguaggio il D:

1) Il primo passo e' di creare un interprete del linguaggio D scritto in assembly o in un altro linguaggio preesistente.

2) Il secondo passo sara' quello di scrivere il compilatore D in linguaggio D (sorgente).

3) Il terzo passo sara' quello di eseguire il compilatore D con l'interprete appena creato nel punto 1).

4) Il quarto passo sara' quello di compilare il compilatore D, con il compilatore D interpretato dall'interprete del punto 1).

5) L'eseguibile ottenuto dal punto 4) e' il compilatore D scritto in D (autocompilazione).

[Digital_Style]

scusa, ma non ho capito molto bene!

[marco.r]

Prima scrivi il compilatore/interprete in un altro linguaggio, poi lo riscrivi nel linguaggio stesso. Nel caso del C, se non ricordo male, la cosa e' stata fatta a passi (prima un compilatore per un sottoinsieme del linguaggio, per poi aggiungere man mano features).

[Digital_Style]

e per scrivere un compilatore/interprete in un altro linguagio cosa si dovrebbe fare?scrivere la sintassi del nuovo linguaggio che si vuole creare o altro?

[Digital_Style]

up

[D4rkAng3l]

oddio non è così banale la cosa...ti dovresti leggere bene qualcosa sull'architettura degli elaboratori...

[Digital_Style]

qualche link?

[D4rkAng3l]

mmmm purtroppo il mio professore (cioè purtroppo per te ma bene per me perchè era Dio) odiava libri, dispense...parlava spiegava...e gli appunti erano la bibbia...mmm mi informo in facoltà se qualcuno conosce qualche link fatto benino e te lo passo

[lovaz]

Comincia da qua:
http://en.wikipedia.org/wiki/Formal_grammar

[AMD_GO]

Originariamente inviato da D4rkAng3l

oddio non è così banale la cosa...ti dovresti leggere bene qualcosa sull'architettura degli elaboratori...

Quoto....dovresti quindi vedere qualcosa che riguarda le macchine virtuali ed i linguaggi connessi...capirai subito, inizialmente a grandi linee, come si "costruisce" un linguaggio....logica digitale, microprogrammazione, ecc....

[Digital_Style]

ok capisco.

@lovaz:non hai un link in italiano?

[71104]

Originariamente inviato da repne scasb

Sembrera' strano ma C e' scritto in C. A grandi linee, si supponga di creare un nuovo linguaggio il D:

1) Il primo passo e' di creare un interprete del linguaggio D scritto in assembly o in un altro linguaggio preesistente.

2) Il secondo passo sara' quello di scrivere il compilatore D in linguaggio D (sorgente).

3) Il terzo passo sara' quello di eseguire il compilatore D con l'interprete appena creato nel punto 1).

4) Il quarto passo sara' quello di compilare il compilatore D, con il compilatore D interpretato dall'interprete del punto 1).

5) L'eseguibile ottenuto dal punto 4) e' il compilatore D scritto in D (autocompilazione).

quoto, infatti il compilatore GCC è scritto in C

e molto probabilmente anche il CL di Microsoft

[71104]

Originariamente inviato da VeeJ

[...] (per farci capire il concetto, il nostro prof di sistemi in 3° o 4° superiore ci ha spiegato come funzionava la codifica dell'istruzione MOV dell'ASM x86 ). In pratica un linguaggio assembly ha una corrispondenza 1:1 con il linguaggio macchina (ogni singola istruzione assembly viene tradotta in un singolo codice in linguaggio macchina).

ehm...
il fatto della corrispondenza 1:1 mi sembra una generalizzazione veramente eccessiva, mi sa che il vostro prof di assembly x86 non ne sapeva più o meno all'incirca un cazz

scaricati se vuoi i manuali gratuiti (dal sito della Intel, in PDF) dei processori x86, e vedi giustappunto la codifica delle varie versioni di MOV: certe hanno proprio opcodes diversi, non è possibile dire che la corrispondenza sia 1:1.

I moderni linguaggi sono quindi scritti o direttamente in ASM, oppure tramite uno o più linguaggi intermedi.

ehm... no
leggi la spiegazione di repne scasb, è chiarissima; e fai caso anche al fatto che il GCC è scritto in C

[wisher]

Mi sapete dire perchè si è soliti scrivere un compilatore con lo stesso linguaggio che andrà a compilare?

[lovaz]

http://it.wikipedia.org/wiki/Grammatica_formale
http://it.wikipedia.org/wiki/Linguag...programmazione
http://it.wikipedia.org/wiki/Compilatore

eccetera...

[lovaz]

Originariamente inviato da wisher

Mi sapete dire perchè si è soliti scrivere un compilatore con lo stesso linguaggio che andrà a compilare?

Non sempre, javac non è scritto in java...
Motivi prestazionali, penso...

[marco.r]

Originariamente inviato da wisher

Mi sapete dire perchè si è soliti scrivere un compilatore con lo stesso linguaggio che andrà a compilare?

Scrivere un compilatore del linguaggio A nel linguaggio B vuol dire dover conoscere a fondo entrambi i linguaggi, e' piu' facile trovare una persona che conosca molto bene uno solo dei due.
Inoltre tipicamente se si progetta un nuovo linguaggio si vuole ottenere un linguaggio "migliore" (dal punto di vista dell'autore) dei precedenti, per cui se chi lo progetta e' anche chi ne scrive il compilatore, tendera' a preferirlo in quanto considerato piu' adatto.
La cosa non e' una regola ovviamente. Ci sono persone bravissime e fluenti in piu' linguaggi, e non e' detto che un linguaggio vada bene anche per scrivere compilatori, soprattutto i linguaggi di scripting per settori abbastanza particolari.

[Digital_Style]

scusate, ma se io vorrei inventare il linguaggio G come faccio a scrivere il compilatore in G se nemmeno l'ho inventato?!