[GENERICO] Come nasce un linguaggio di programmazione?

[~FullSyst3m~]

Me lo sono sempre chiesto. Come si crea un linguaggio di programmazione da 0? E come si è passati dal fare tutto a mano a creare un linguaggio di programmazione (parlo di 30 anni fa quando si entrava dentro i pc per programmarli)

[by_to_by]

me lo chiedo anche io

[variabilepippo]

Come si crea un linguaggio di programmazione da 0? E come si è passati dal fare tutto a mano a creare un linguaggio di programmazione (parlo di 30 anni fa quando si entrava dentro i pc per programmarli)

C'è una bella differenza tra "linguaggio di programmazione" e "compilatore" (o altri strumenti necessari per far comprendere il "linguaggio di programmazione" ad un computer).

[~FullSyst3m~]

Originariamente inviato da variabilepippo

C'è una bella differenza tra "linguaggio di programmazione" e "compilatore" (o altri strumenti necessari per far comprendere il "linguaggio di programmazione" ad un computer).

Bè diciamo tutte e due! Il compilatore deve compilare un linguaggio, ma se il linguaggio non c'è...

[variabilepippo]

Bè diciamo tutte e due!

L'argomento mi sembra un po' troppo vasto per essere trattato in un post pubblicato su un forum, anche perché ogni linguaggio ha una genesi, una storia e delle motivazioni diverse, senza considerare che esistono molti aspetti (descritti in testi sacri, tra i quali i Dragon Books) da prendere in considerazione nell'implementazione di un compilatore.

[khelidan1980]

Originariamente inviato da ~FullSyst3m~

Bè diciamo tutte e due! Il compilatore deve compilare un linguaggio, ma se il linguaggio non c'è...

si ma a livello logico son due cose diverse,se vuoi inventare un tuo linguaggio puoi anche fregartene del compilatore perchè il tuo nuovo linguaggio lo scriverai molto probabilmente in C,come sono java e python ad esempio,correggetemi se sbaglio,o al massimo in assembler,indi per cui creare un compilatore a mio modo di vedere non ha inerenza col fatto di crearsi un nuovo linguaggio

[~FullSyst3m~]

Originariamente inviato da khelidan1980

si ma a livello logico son due cose diverse,se vuoi inventare un tuo linguaggio puoi anche fregartene del compilatore perchè il tuo nuovo linguaggio lo scriverai molto probabilmente in C,come sono java e python ad esempio,correggetemi se sbaglio,o al massimo in assembler,indi per cui creare un compilatore a mio modo di vedere non ha inerenza col fatto di crearsi un nuovo linguaggio

Se voglio creare un compilatore, devo crearlo per un determinato linguaggio. E qui arriviamo alla domanda che ho fatto nel primo post

[variabilepippo]

Se voglio creare un compilatore, devo crearlo per un determinato linguaggio. E qui arriviamo alla domanda che ho fatto nel primo post

In realtà nel primo post non hai parlato affatto di compilatori:

Me lo sono sempre chiesto. Come si crea un linguaggio di programmazione da 0? E come si è passati dal fare tutto a mano a creare un linguaggio di programmazione (parlo di 30 anni fa quando si entrava dentro i pc per programmarli)

Non ho ancora capito se vuoi sapere come si progetta un linguaggio di programmazione, come si scrive un compilatore o altro... Hai letto la risposta:

L'argomento mi sembra un po' troppo vasto per essere trattato in un post pubblicato su un forum, anche perché ogni linguaggio ha una genesi, una storia e delle motivazioni diverse, senza considerare che esistono molti aspetti (descritti in testi sacri, tra i quali i Dragon Books) da prendere in considerazione nell'implementazione di un compilatore.

?

[by_to_by]

come si crea un nuovo linguaggio=?

[~FullSyst3m~]

Originariamente inviato da variabilepippo

In realtà nel primo post non hai parlato affatto di compilatori:





Non ho ancora capito se vuoi sapere come si progetta un linguaggio di programmazione, come si scrive un compilatore o altro... Hai letto la risposta:

?

Infatti, nel post chiedo come si crea un linguaggio di programmazione e dato che il compilatore deve avere un linguaggio da compilare, si torna al mio post, e cioè come si crea un linguaggio di programmazione. Si ho letto la tua risposta comunque, infatti non voglio una spiegazione da 2.000 pagine, ho aperto il post per un momento di confronto e per togliermi questo dubbio

[variabilepippo]

come si crea un nuovo linguaggio=?

Così come si "crea" una nuova lingua, si definiscono: la sintassi, la semantica, il lessico, ...

Se non è ancora chiaro, NON si possono riassumere in 2 righe tutti gli aspetti legati al design di un linguaggio di programmazione, le possibili scelte progettuali e le relative implicazioni, le questioni politiche/tecniche/di ricerca che entrano in gioco, etc.

Ci sono ottimi libri sull'argomento (che nonostante spesso sfiorino il migliaio di pagine, presuppongono comunque un ampio bagaglio di conoscenze pregresse), sia per quanto riguarda la progettazione di un linguaggio di programmazione, sia per quanto concerne la progettazione di un compilatore.

[by_to_by]

Originariamente inviato da variabilepippo

Così come si "crea" una nuova lingua, si definiscono: la sintassi, la semantica, il lessico, ...

Se non è ancora chiaro, NON si possono riassumere in 2 righe tutti gli aspetti legati al design di un linguaggio di programmazione, le possibili scelte progettuali e le relative implicazioni, le questioni politiche/tecniche/di ricerca che entrano in gioco, etc.

Ci sono ottimi libri sull'argomento (che nonostante spesso sfiorino il migliaio di pagine, presuppongono comunque un ampio bagaglio di conoscenze pregresse), sia per quanto riguarda la progettazione di un linguaggio di programmazione, sia per quanto concerne la progettazione di un compilatore.

praticamente si deve essere dei geni

[variabilepippo]

praticamente si deve essere dei geni

Non necessariamente, basta avere un bagaglio di conoscenze adeguato. Comunque se sei alle prime armi non devi preoccuparti di come si progetta un linguaggio di programmazione, altrimenti rischi di perdere buona parte della tua motivazione... Le cose vanno fatte per gradi.

[~FullSyst3m~]

Originariamente inviato da variabilepippo

Non necessariamente, basta avere un bagaglio di conoscenze adeguato. Comunque se sei alle prime armi non devi preoccuparti di come si progetta un linguaggio di programmazione, altrimenti rischi di perdere buona parte della tua motivazione... Le cose vanno fatte per gradi.

Secondo te che motivazione ha? Magari per lui è questa una motivazione..

[variabilepippo]

Secondo te che motivazione ha? Magari per lui è questa una motivazione..

Io parlo della motivazione a continuare lo studio della programmazione... Se un programmatore alle prime armi si chiede "come si progetta un linguaggio di programmazione" ed ovviamente si ritrova davanti alla marea di lacune nella propria preparazione mi sembra quasi scontato che si senta sopraffatto dalle nozioni da apprendere.

E' un po' come se un bambino in prima elementare cercasse di leggere la Divina Commedia e non riuscendovi pensasse "Non imparerò mai a leggere". Probabilmente non progetterà mai un linguaggio di programmazione (è una cosa fatta da persone con uno specifico background culturale), quindi mi sembra del tutto inutile preoccuparsi di typing, ortogonalità, sintassi e semantiche formali e di concetti ben più complessi.

[~FullSyst3m~]

Originariamente inviato da variabilepippo

Io parlo della motivazione a continuare lo studio della programmazione... Se un programmatore alle prime armi si chiede "come si progetta un linguaggio di programmazione" ed ovviamente si ritrova davanti alla marea di lacune nella propria preparazione mi sembra quasi scontato che si senta sopraffatto dalle nozioni da apprendere.

E' un po' come se un bambino in prima elementare cercasse di leggere la Divina Commedia e non riuscendovi pensasse "Non imparerò mai a leggere". Probabilmente non progetterà mai un linguaggio di programmazione (è una cosa fatta da persone con uno specifico background culturale), quindi mi sembra del tutto inutile preoccuparsi di typing, ortogonalità, sintassi e semantiche formali e di concetti ben più complessi.

Se la metti cosi sono d'accordo con te, però le persone che hanno uno specifico background culturale se lo sono fatto, può essere che lui se lo fa e pensare a queste cose gli dà lo stimolo di andare avanti perchè vuole imparare, perchè è curioso e ha sete di sapere

[variabilepippo]

però le persone che hanno uno specifico background culturale se lo sono fatto, può essere che lui se lo fa e pensare a queste cose gli dà lo stimolo di andare avanti perchè vuole imparare, perchè è curioso e ha sete di sapere

Il background culturale per poter progettare un linguaggio di programmazione non "didattico" presuppone almeno un percorso accademico in una disciplina scientifica (ingegneria, informatica, ...) ed uno studio mirato, non limitato "a qualche anno", delle problematiche legate al design di linguaggi/compilatori.

Prendiamo come esempio i linguaggi più diffusi ed i principali progettisti degli stessi:

Python - Guido Van Rossum - "I received a Master's degree in Mathematics and Computer Science from the University of Amsterdam in 1982, and joined CWI as a researcher in the same year. While studying, I worked for 5 years as a systems programmer at Amsterdam's academic computer center, SARA"

C++ - Bjarne Stroustrup - "He went to Aarhus University studying in the department of computer science DAIMI gaining the Danish equivalent to a good Masters degree (a Cand.Scient. degree is rarely taken in significantly less than six years - at least it wasn't then). Aarhus is a wonderful town of about 250,000 people beautifully sited on the East coast of Jutland. Bjarne did his Ph.D. work on design of distributed systems in the Computing Laboratory of Cambridge University, England. "

Java - James Gosling - "received a B.Sc in Computer Science from the University of Calgary. In 1983, he earned a Ph.D in Computer Science from Carnegie Mellon University, and his doctoral thesis was titled "The Algebraic Manipulation of Constraints".

C - Brian Kernighan - "He received his Bachelor's degree in Engineering Physics from the University of Toronto. He received his PhD in electrical engineering from Princeton University, where he has held a professorship in the department of computer science since 2000."

C - Ken Thompson - "He received a Bachelor of Science in 1965 and Master's degree in 1966, both in Electrical Engineering and Computer Science, from the University of California, Berkeley"

C#/Turbo Pascal - Anders Hejlsberg - He studied engineering at the Technical University of Denmark.

...

Prima di poter anche solo pensare di progettare un linguaggio di programmazione non banale c'è tanto, veramente tanto, da studiare, a partire dall'apprendimento della lingua inglese. Ecco perché ho scritto: "Le cose vanno fatte per gradi".

[by_to_by]

Originariamente inviato da variabilepippo

Il background culturale per poter progettare un linguaggio di programmazione non "didattico" presuppone almeno un percorso accademico in una disciplina scientifica (ingegneria, informatica, ...) ed uno studio mirato, non limitato "a qualche anno", delle problematiche legate al design di linguaggi/compilatori.

Prendiamo come esempio i linguaggi più diffusi ed i principali progettisti degli stessi:

Python - Guido Van Rossum - "I received a Master's degree in Mathematics and Computer Science from the University of Amsterdam in 1982, and joined CWI as a researcher in the same year. While studying, I worked for 5 years as a systems programmer at Amsterdam's academic computer center, SARA"

C++ - Bjarne Stroustrup - "He went to Aarhus University studying in the department of computer science DAIMI gaining the Danish equivalent to a good Masters degree (a Cand.Scient. degree is rarely taken in significantly less than six years - at least it wasn't then). Aarhus is a wonderful town of about 250,000 people beautifully sited on the East coast of Jutland. Bjarne did his Ph.D. work on design of distributed systems in the Computing Laboratory of Cambridge University, England. "

Java - James Gosling - "received a B.Sc in Computer Science from the University of Calgary. In 1983, he earned a Ph.D in Computer Science from Carnegie Mellon University, and his doctoral thesis was titled "The Algebraic Manipulation of Constraints".

C - Brian Kernighan - "He received his Bachelor's degree in Engineering Physics from the University of Toronto. He received his PhD in electrical engineering from Princeton University, where he has held a professorship in the department of computer science since 2000."

C - Ken Thompson - "He received a Bachelor of Science in 1965 and Master's degree in 1966, both in Electrical Engineering and Computer Science, from the University of California, Berkeley"

C#/Turbo Pascal - Anders Hejlsberg - He studied engineering at the Technical University of Denmark.

...

Prima di poter anche solo pensare di progettare un linguaggio di programmazione non banale c'è tanto, veramente tanto, da studiare, a partire dall'apprendimento della lingua inglese. Ecco perché ho scritto: "Le cose vanno fatte per gradi".

mamma mia, sono dei geni questi

[cdimauro]

Originariamente inviato da ~FullSyst3m~

Me lo sono sempre chiesto. Come si crea un linguaggio di programmazione da 0? E come si è passati dal fare tutto a mano a creare un linguaggio di programmazione (parlo di 30 anni fa quando si entrava dentro i pc per programmarli)

A parte ciò che ti ha detto variabilepippo, col quale sono d'accordo, ti posso consigliare, dopo aver studiato almeno i rudimenti relativi ai "linguaggi formali", di utilizzare qualche strumento che ti permette di realizzarli in maniera più semplice e veloce.

Di recente in azienda ho scritto un banale linguaggio (di specifica di sintassi) con questo: http://www.antlr.org/ che con questo http://www.antlr.org/works/index.html IDE (FA-VO-LO-SO) che è stato appositamente creato permette di semplificare ulteriormente lo sviluppo del parser del linguaggio.
Qui c'è un tutorial molto semplice per iniziare anche per chi è digiuno sull'argomento.

Infatti dopo questo, penso di scrivere qualche altro linguaggio per semplificarmi la vita in altri progetti e permettere anche ad altra gente "non tecnica" di metter mano ad alcune strutture dati che attualmente mi vedono come l'unico a doverlo fare (non pensare male: non è per scansare lavoro, eh! Ma per rimuovere un punto di fallimento nel nostro sistema ).

[~FullSyst3m~]

Originariamente inviato da cdimauro

A parte ciò che ti ha detto variabilepippo, col quale sono d'accordo, ti posso consigliare, dopo aver studiato almeno i rudimenti relativi ai "linguaggi formali", di utilizzare qualche strumento che ti permette di realizzarli in maniera più semplice e veloce.

Di recente in azienda ho scritto un banale linguaggio (di specifica di sintassi) con questo: http://www.antlr.org/ che con questo http://www.antlr.org/works/index.html IDE (FA-VO-LO-SO) che è stato appositamente creato permette di semplificare ulteriormente lo sviluppo del parser del linguaggio.
Qui c'è un tutorial molto semplice per iniziare anche per chi è digiuno sull'argomento.

Infatti dopo questo, penso di scrivere qualche altro linguaggio per semplificarmi la vita in altri progetti e permettere anche ad altra gente "non tecnica" di metter mano ad alcune strutture dati che attualmente mi vedono come l'unico a doverlo fare (non pensare male: non è per scansare lavoro, eh! Ma per rimuovere un punto di fallimento nel nostro sistema ).

A quanto ho capito l'azienda la tieni in piedi tu! Ti crei pure i tuoi linguaggi...