Ulimi lwesiBel lubhalwe ngolimi lwesiBel.
Ngo-1960, uJohn McCarthy wachaza uLisp, uhlobo olusha lolimi lokuhlela. Ngithi "uhlobo olusha" ngoba uLisp kwakungelona nje ulimi olusha, kodwa indlela entsha yokuchaza izilimi.
Ukuze achaze uLisp, waqala ngesethi encane yezitatimende, uhlobo lwama-axiom, wabe esesebenzisa ukubhala umhumushi wolimi ngokwalo.
Yayingahlosile ukuchaza ulimi lokuhlela ngendlela evamile - ulimi olusetshenziselwa ukutshela ikhompuyutha ukuthi yenzeni. Emsebenzini wakhe wango-1960, uLisp waqondwa njengemodeli esemthethweni yokubala ngokufana neTuring Machine. UMcCarthy akazange acabange ngokuyisebenzisa kumakhompiyutha kwaze kwaba yilapho uSteve Russell, umfundi wakhe oneziqu, eyiphakamisa.
U-Lisp ngo-1960 wayengenazo izici ezivamile ezilimini zokuhlela. Isibonelo, bezingekho izinombolo, amaphutha noma i-I/O. Ngakho-ke abantu abasebenzisa i-Lisp njengesisekelo sezilimi ezisetshenziselwa ukuhlela amakhompiyutha bekumele bangeze lezi zici ngokwabo. Futhi bakwenza lokhu ngokushiya indlela ye-axiomatic.
Ngakho-ke, ukuthuthukiswa kwe-Lisp kwaqhubeka ngezigaba ezimbili - futhi ezibonakala zizimele - isiteji esisemthethweni, esathulwa ephepheni lika-1960, nesigaba sokuqaliswa, lapho ulimi lwashintshwa futhi lwanwetshwa ukuze lusebenze kumakhompiyutha. Umsebenzi oyinhloko, uma ulinganiswa ngenani lamathuba asetshenzisiwe, wenzeka esigabeni sokuqaliswa. I-Lisp esuka ku-1960, ehunyushwe ku-Common Lisp, iqukethe imigqa engama-53 kuphela. Yenza kuphela lokho okudingekayo ukuhumusha izinkulumo. Konke okunye kwenezelwa esigabeni sokuqaliswa.
I-hypothesis yami ukuthi, naphezu komlando wayo onzima, i-Lisp yazuza eqinisweni lokuthi ukuthuthukiswa kwayo kwenzeka ngezigaba ezimbili; ukuthi umsebenzi wokuqala wokuchaza ulimi ngokubhala umhumushi walo kulo unikeze uLisp izimfanelo zalo ezinhle kakhulu. Futhi uma kunjalo, kungani ungaqhubeki phambili?
Bel kuwumzamo wokuphendula umbuzo: kuthiwani uma, esikhundleni sokusuka esigabeni esisemthethweni uye esigabeni sokubulawa kusenesikhathi, lolu shintsho lwenziwe sekwephuzile ngangokunokwenzeka? Uma uqhubeka nokusebenzisa indlela ye-axiomatic uze ube nokuthile eduze kolimi lokuhlela oluphelele, yiziphi ama-axiom ozowadinga, futhi ulimi oluzophuma luzobukeka kanjani?
Ngifuna ukucaca ukuthi uBel uyini nokuthi uyini. Yize inezici eziningi kune-McCarthy's 1960 Lisp, i-Bel isewumkhiqizo esigabeni sayo esisemthethweni. NjengoLisp, ochazwe ephepheni lango-1960, akulona ulimi ongalusebenzisa ukuhlela. Ikakhulukazi ngoba, njenge-McCarthy's Lisp, ayinandaba nokusebenza kahle. Uma ngengeza okuthile ku-Bel, ngichaza incazelo yokwengezwa ngaphandle kokuzama ukunikeza ukusetshenziswa okuphumelelayo.
Kwani? Kungani kwandiswe isiteji esisemthethweni? Enye impendulo iwukubona ukuthi indlela ye-axiomatic ingasithathaphi, okuwumsebenzi othokozisayo ngokwawo. Ukube amakhompyutha abenamandla ngendlela ebesingathanda abe ngayo, ngabe izilimi zibukeka kanjani?
Kodwa futhi ngikholelwa ukuthi kungenzeka ukubhala ukuqaliswa okusebenzayo okusekelwe e-Bel ngokungeza imikhawulo. Uma ufuna ulimi olunamandla okuveza, ukucaca, nokusebenza kahle, kungase kudingeke ukuthi uqale ngamandla okuveza nokucacisa, bese wengeza imikhawulo, kunokuya kwelinye icala.
Ngakho-ke uma ufuna ukuzama ukubhala ukuqaliswa okusekelwe ku-Bel, qhubeka. Ngizoba omunye wabasebenzisi bokuqala.
Ekugcineni, ngenza kabusha ezinye izinto ngezilimi zesigodi zangaphambilini. Kuphakathi kokuthi abaklami babo bakuthole kahle, noma ukuthonywa izilimi zesigodi ezake zasetshenziswa, angiyiboni impendulo efanele - isikhathi sizosho. Ngazama futhi ukungaduki kakhulu emihlanganweni yaseLisp. Okusho ukuthi uma ubona ukusuka ezingqungqutheleni ze-Lisp, kungaba nesizathu salokho.
.
Siyabonga ngokuhumusha: Denis Mitropolsky
PS
Source: www.habr.com