Lang Bel la ekri nan lang Bel.
An 1960, John McCarthy te dekri Lisp, yon nouvo kalite langaj pwogramasyon. Mwen di "nouvo tip" paske Lisp pa t jis yon nouvo lang, men yon nouvo fason pou dekri lang yo.
Pou defini Lisp, li te kòmanse ak yon ti seri deklarasyon, yon kalite aksyòm, ke li te itilize answit pou ekri yon entèprèt pou lang nan tèt li.
Li pa t dekri yon langaj pwogramasyon nan sans nòmal la - yon lang ki itilize pou di yon òdinatè sa pou l fè. Nan travay li an 1960, Lisp te konprann kòm yon modèl fòmèl nan kalkil ki sanble ak machin nan Turing. McCarthy pa t panse pou itilize li sou òdinatè jiskaske Steve Russell, etidyan gradye li a, te sijere li.
Lisp an 1960 pa t 'gen karakteristik yo komen nan lang pwogramasyon. Pou egzanp, pa te gen okenn nimewo, erè oswa I/O. Se konsa, moun ki te itilize Lisp kòm baz pou lang yo itilize pou pwogram òdinatè yo te oblije ajoute karakteristik sa yo tèt yo. Apre sa, yo te fè sa pa abandone apwòch la aksyomatik.
Kidonk, devlopman Lisp te kontinye an de - e ki sanble byen endepandan - etap: yon etap fòmèl, ki te prezante nan yon papye 1960, ak yon etap aplikasyon, kote lang lan te adapte ak pwolonje pou kouri sou òdinatè. Travay prensipal la, si yo mezire pa kantite opòtinite aplike, te pran plas nan etap aplikasyon an. Lisp soti nan 1960, tradui nan Common Lisp, gen sèlman 53 liy. Li fè sèlman sa ki nesesè pou entèprete ekspresyon yo. Tout lòt bagay te ajoute nan etap aplikasyon an.
Ipotèz mwen se ke, malgre istwa difisil li, Lisp te benefisye de lefèt ke devlopman li te fèt an de faz; ke egzèsis orijinal la nan defini yon lang pa ekri entèprèt li nan li te bay Lisp pi bon kalite li yo. E si wi, poukisa pa ale pi lwen?
Bel se yon tantativ pou reponn kesyon an: e si, olye pou yo deplase soti nan etap fòmèl nan etap ekzekisyon an nan yon etap bonè, tranzisyon sa a te fèt pi ta ke posib? Si w kontinye sèvi ak apwòch aksyomatik la jiskaske w gen yon bagay ki toupre yon langaj pwogramasyon konplè, ki aksyòm w ap bezwen, e ki jan langaj ki lakòz rezilta a pral sanble?
Mwen vle klè sou sa Bel ye ak sa li pa. Malgre ke li gen anpil plis karakteristik pase McCarthy a 1960 Lisp, Bel se toujou yon pwodwi nan faz fòmèl li yo. Tankou Lisp, ki te dekri nan yon papye 1960, se pa yon lang ou ka itilize pou pwograme. Sitou paske, tankou McCarthy a Lisp, li pa pran swen sou efikasite. Lè mwen ajoute yon bagay nan Bel, mwen dekri siyifikasyon adisyon a san yo pa eseye bay yon aplikasyon efikas.
Pou kisa? Poukisa pwolonje etap fòmèl la? Yon repons se wè ki kote apwòch aksyomatik la ka mennen nou, ki se yon egzèsis enteresan nan tèt li. Si òdinatè yo te pwisan jan nou ta renmen yo, kisa lang yo ta sanble?
Me mon osi krwar ki i posib pour ekrir en lenplimantasyon efikas ki baze lo Bel par ajoute restriksyon. Si ou vle yon lang ki gen pouvwa ekspresyon, klè, ak efikasite, li ta ka vo kòmanse ak pouvwa ekspresyon ak klè, epi ajoute restriksyon, olye ke ale nan direksyon opoze a.
Donk, si ou vle eseye ekri yon aplikasyon ki baze sou Bel, ale pi devan. Mwen pral youn nan premye itilizatè yo.
Finalman, mwen repwodui kèk bagay ki soti nan dyalèk anvan yo. Swa konsèpteur yo te byen, oswa yo te enfliyanse pa dyalèk te deja itilize, mwen pa wè repons ki dwat - tan ap di. Mwen te eseye tou pa lwen konvansyon Lisp yo. Ki vle di ke si ou wè yon mouvman lwen konvansyon Lisp, ka gen yon rezon pou li.
.
Mèsi pou tradiksyon an: Denis Mitropolsky
PS
Sous: www.habr.com