A lingua Bel hè scritta in a lingua Bel.
In u 1960, John McCarthy hà descrittu Lisp, un novu tipu di lingua di prugrammazione. Dicu "novu tipu" perchè Lisp ùn era micca solu una nova lingua, ma una nova manera di discrive e lingue.
Per definisce Lisp, hà cuminciatu cù una piccula serie di dichjarazioni, una spezia d'assiomi, chì dopu s'utilice per scrive un interprete per a lingua stessa.
Ùn hà micca decisu di descriverà una lingua di prugrammazione in u sensu di solitu - una lingua usata per dì à un urdinatore ciò chì deve fà. In u so travagliu di u 1960, Lisp era capitu cum'è un mudellu formale di calculu simili à a Macchina di Turing. McCarthy ùn hà micca pensatu à aduprà nantu à l'urdinatori finu à chì Steve Russell, u so studiente graduatu, l'hà suggeritu.
Lisp in u 1960 ùn avia micca e caratteristiche cumuni à i linguaggi di prugrammazione. Per esempiu, ùn ci era micca numeri, errori o I / O. Allora e persone chì anu utilizatu Lisp cum'è a basa per e lingue aduprate per programà l'urdinatori anu da aghjunghje sti funziunalità. È anu fattu questu abbandunendu l'approcciu axiomaticu.
Cusì, u sviluppu di Lisp hà procedutu in dui - è apparentemente abbastanza indipendenti - tappe: una tappa formale, intrudutta in un documentu di u 1960, è una tappa di implementazione, in quale a lingua hè stata adattata è allargata per eseguisce nantu à l'urdinatori. U travagliu principale, se misuratu da u nùmeru di opportunità implementate, hà fattu in u stadiu di implementazione. Lisp da u 1960, traduttu in Common Lisp, cuntene solu 53 linii. Face solu ciò chì hè necessariu per interpretà l'espressioni. Tuttu u restu hè statu aghjuntu à a fase di implementazione.
A mo ipotesi hè chì, malgradu a so storia difficiule, Lisp hà benefiziu da u fattu chì u so sviluppu hè accadutu in duie fasi; chì l'eserciziu uriginale di definisce una lingua scrivendu ind'è u so interprete hà datu à Lisp e so megliu qualità. È s'ellu hè cusì, perchè ùn andà più in là ?
Bel hè un tentativu di risponde à a quistione: chì si, invece di passà da u stadiu formale à u stadiu di l'esekzione in una prima fase, sta transizione hè stata fatta u più tardi pussibule? Se cuntinueghja aduprà l'approcciu axiomaticu finu à avè qualcosa vicinu à una lingua di prugrammazione cumpleta, chì assiomi avete bisognu, è quale sarà a lingua resultanti?
Vogliu esse chjaru di ciò chì Bel hè è ciò chì ùn hè micca. Ancu s'ellu hà assai più caratteristiche di u Lisp di McCarthy 1960, Bel hè sempre un pruduttu in a so fase formale. Cum'è Lisp, descritta in un documentu di u 1960, ùn hè micca una lingua chì pudete aduprà per programà. Principalmente perchè, cum'è McCarthy's Lisp, ùn importa micca l'efficienza. Quandu aghju aghjunghje qualcosa à Bel, descrive u significatu di l'aghjuntu senza pruvà à furnisce una implementazione efficace.
Perchè? Perchè allargà u stadiu formale? Una risposta hè di vede induve l'approcciu axiomaticu ci pò purtà, chì hè un eserciziu interessanti in sè stessu. S'è l'urdinatori fussinu cusì putenti quant'è no vuleriamu ch'elli sianu, chì pareranu e lingue?
Ma crede ancu chì hè pussibule di scrive una implementazione efficace basata in Bel agghiuncennu restrizioni. Se vulete una lingua chì hà u putere espressivu, a chiarità è l'efficienza, puderia vale a pena principià cù u putere espressivu è a chiarezza, è dopu aghjunghje restrizioni, invece di andà in a direzzione opposta.
Allora se vulete pruvà à scrive una implementazione basata nantu à Bel, vai avanti. Seraghju unu di i primi utilizatori.
In ultimamente, aghju riproduce alcune cose da i dialetti precedenti. Sia i so diseggiani l'anu bè, o esse influinzati da i dialetti utilizati prima, ùn vecu micca a risposta ghjusta - u tempu dirà. Aghju ancu pruvatu à ùn alluntanassi troppu luntanu da e cunvenzioni Lisp. Chì significa chì si vede un alluntanamentu da e cunvenzioni Lisp, pò esse un mutivu per questu.
.
Grazie per a traduzzione: Denis Mitropolsky
PS
Source: www.habr.com