Luuqadda Belgu waxay ku qoran tahay luqadda Bel.
Sannadkii 1960kii, John McCarthy wuxuu ku tilmaamay Lisp, nooc cusub oo luuqadda barnaamijka ah. Waxaan leeyahay "nooc cusub" sababtoo ah Lisp ma ahayn luqad cusub, laakiin hab cusub oo lagu sifeeyo luqadaha.
Si uu u qeexo Lisp, waxa uu ku bilaabay jumlado yar yar, oo ah nooc ka mid ah axioms, oo uu markaa u isticmaali jiray in uu u qoro turjumaan luqadda lafteeda.
Ma aysan dejin in lagu qeexo luqadda barnaamijka sida caadiga ah - luqad loo isticmaalo in lagu sheego kombuyuutarka waxa la sameeyo. Shaqadiisii ββ1960-kii, Lisp waxaa loo fahmay inuu yahay qaab xisaabeed rasmi ah oo la mid ah Mashiinka Turing. McCarthy kama fikirin ku isticmaalka kombuyuutarada ilaa Steve Russell, ardaygiisii ββqalin jabiyay, uu soo jeediyay.
Lisp 1960kii ma lahayn sifada ay ka siman yihiin barnaamijyada barnaamijyada. Tusaale ahaan, ma jiraan tirooyin, khaladaad ama I/O. Markaa dadka u adeegsaday Lisp oo saldhig u ahaa luqadaha loo adeegsan jiray barnaamijka kombuyuutarrada waxay ahayd inay iyagu ku daraan astaamahan. Waxayna tan yeeleen iyagoo ka tagay habka axiomatic.
Sidaa darteed, horumarinta Lisp waxay u gudubtay laba marxaladood - oo u muuqda kuwo madaxbannaan - marxalado: marxalad rasmi ah, oo lagu soo bandhigay warqad 1960, iyo marxaladda hirgelinta, kaas oo luqadda loo qaabeeyey laguna ballaariyay si loogu shaqeeyo kombuyuutar. Shaqada ugu weyn, haddii lagu qiyaaso tirada fursadaha la fuliyay, waxay ka dhacday marxaladda hirgelinta. Lisp laga soo bilaabo 1960, oo loo turjumay Lisp Common, ayaa ka kooban 53 sadar oo keliya. Waxa kaliya ee loo baahan yahay in lagu fasiro tibaaxaha. Wax kasta oo kale ayaa lagu daray marxaladda hirgelinta.
Male-awaalkeygu wuxuu yahay, inkastoo taariikhdeeda adag, Lisp waxay ka faa'iidaysatay xaqiiqda ah in horumarkeedu uu u dhacay laba weji; in layliga asalka ah ee qeexida luqadda iyadoo lagu qorayo turjumaankiisa uu siiyay Lisp tayadiisa ugu wanaagsan. Haddii ay sidaas tahay, maxaa diiday in aad u sii socoto?
Beel waa isku day in laga jawaabo su'aasha: ka waran haddii, intii laga gudbi lahaa marxaladda rasmiga ah loona gudbi lahaa marxaladda fulinta marxaladda hore, kala-guurkan la sameeyay sida ugu daahsan ee suurtogalka ah? Haddii aad sii waddo isticmaalka habka axiomatic ilaa aad ka hesho wax ku dhow luqadda barnaamijka oo dhammaystiran, maxay axioms ayaad u baahan doontaa, sideese luqadda ka soo baxdaa u ekaan doontaa?
Waxaan rabaa in aan caddeeyo waxa Bel yahay iyo waxa aanu ahayn. In kasta oo ay leedahay astaamo badan oo ka badan McCarthy's 1960 Lisp, Bel wali waa badeecad ku jirta wajigeeda rasmiga ah. Sida Lisp, oo lagu sharraxay warqad 1960-kii, maaha luqad aad isticmaali karto si aad barnaamij u dhigto. Inta badan sababtoo ah, sida McCarthy's Lisp, ma danayso hufnaanta. Marka aan wax ku daro Bel, waxaan qeexayaa macnaha isku darka aniga oo aan isku dayin in aan bixiyo hirgelin hufan.
Maxay? Waa maxay sababta loo kordhiyo marxaladda rasmiga ah? Mid ka mid ah jawaabaha ayaa ah in la arko halka habka axiomatic uu naga qaadi karo, taas oo ah jimicsi xiiso leh laftiisa. Haddii kombuyuutarku u xoog badnaan lahaayeen sida aan rabno inay u noqdaan, sidee bay afaf u ekaan lahaayeen?
Laakiin waxaan sidoo kale aaminsanahay inay suurtagal tahay in la qoro dhaqan-gal ku saleysan Bel iyadoo lagu darayo xaddidaadyo. Haddii aad rabto luqad leh awood muujin, hufnaan, iyo hufnaan, waxaa laga yaabaa inay ku habboon tahay inaad ku bilowdo awoodda muujinta iyo caddaynta, ka dibna ku dar xaddidid, halkii aad u socon lahayd jihada ka soo horjeeda.
Markaa haddii aad rabto inaad isku daydo inaad qorto hirgelin ku salaysan Bel, sii wad. Waxaan noqon doonaa mid ka mid ah isticmaalayaasha ugu horreeya.
Ugu dambeyntii, waxaan dib u soo saaray waxyaabo ka mid ah lahjadihii hore. Ama naqshadeeyayaashooda ayaa saxay, ama ay saameyn ku yeesheen lahjadihii hore loo isticmaalay, ma arko jawaabta saxda ah -waqtiga ayaa sheegi doona. Waxaan sidoo kale isku dayay inaanan ka fogaan heshiisyada Lisp. Taas macnaheedu waa haddii aad aragto ka guuritaanka heshiisyada Lisp, waxaa jiri kara sabab.
.
Waad ku mahadsan tahay turjumaadda: Denis Mitropolsky
PS
Source: www.habr.com