Zimanê Belê bi zimanê Bel tê nivîsandin.
Di sala 1960 de, John McCarthy Lisp, celebek nû ya zimanek bernamesaziyê şirove kir. Ez dibêjim "tîpa nû" ji ber ku Lisp ne tenê zimanek nû bû, lê rêyek nû ya danasîna zimanan bû.
Ji bo danasîna Lisp, wî dest bi komek piçûk a gotinan kir, celebek axioms, ku paşê wî ji bo nivîsandina wergêrek ji bo ziman bixwe bikar anî.
Ew ne amade bû ku zimanek bernamesaziyê di wateya gelemperî de rave bike - zimanek ku tê bikar anîn ku ji komputerê re bêje ka çi bike. Di xebata xwe ya 1960-an de, Lisp wekî modelek fermî ya hesabkirinê wekî Makîneya Turing hate fêm kirin. McCarthy nefikirî ku wê li ser komputeran bikar bîne heya ku Steve Russell, xwendekarê wî yê mezûn, ew pêşniyar kir.
Lisp di sala 1960-an de xwediyê taybetmendiyên hevpar ên zimanên bernamekirinê nebû. Mînakî, hejmar, xeletî û I/O tune bûn. Ji ber vê yekê kesên ku Lisp wekî bingeha zimanên ku ji bo bernamekirina komputeran têne bikar anîn bikar anîn neçar bûn ku van taybetmendiyan bixwe zêde bikin. Û wan ev yek bi terikandina nêzîkatiya aksîomatîk kir.
Ji ber vê yekê, pêşkeftina Lisp di du qonaxan de - û xuya ye ku pir serbixwe - derbas bû: qonaxek fermî, ku di kaxezek 1960 de hate destnîşan kirin, û qonaxek bicîhkirinê, ku tê de ziman hate adaptekirin û dirêj kirin da ku li ser komputeran bixebite. Karê sereke, ger bi hejmara derfetên pêkanînê were pîvandin, di qonaxa pêkanînê de cih girt. Lisp ji sala 1960-an, ku li Common Lisp hatî wergerandin, tenê 53 rêzan dihewîne. Ew tenê tiştê ku ji bo şîrovekirina îfadeyan hewce dike dike. Her tiştê din di qonaxa pêkanînê de hate zêdekirin.
Hîpoteza min ev e ku, tevî dîroka xwe ya dijwar, Lisp ji wê yekê sûd wergirtiye ku pêşveçûna wê di du qonaxan de pêk hatiye; ku tetbîqata orîjînal a pênasekirina zimanekî bi nivîsandina wergêra wî tê de taybetmendiyên xwe yên çêtirîn daye Lisp. Û heke wusa be, çima pêşdetir naçin?
pişt hewildanek e ji bo bersivdana vê pirsê: eger, li şûna ku di qonaxek destpêkê de ji qonaxa fermî ber bi qonaxa darvekirinê ve biçe, ev derbasbûn bi derengiya ku dibe bila bibe, çi dibe? Ger hûn karanîna nêzîkatiya axiomatîk bidomînin heya ku hûn tiştek nêzikî zimanek bernamesaziyek bêkêmasî nebin, hûn ê hewceyê çi axioman bin, û zimanê encam dê çawa xuya bike?
Ez dixwazim zelal bikim ka Bel çi ye û çi ne. Tevî ku ew ji ya McCarthy's 1960 Lisp gelek taybetmendiyên wê hene, Bel hîn jî di qonaxa xwe ya fermî de hilberek e. Mîna Lisp, ku di kaxezek 1960-an de hatî şirove kirin, ew ne zimanek e ku hûn dikarin ji bo bernamekirinê bikar bînin. Di serî de ji ber ku, mîna McCarthy's Lisp, ew guh nade karîgeriyê. Dema ku ez tiştekî li Bel lê zêde dikim, ez wateya lêzêdekirinê diyar dikim bêyî ku ez hewl bidim ku bicîhkirinek bikêr peyda bikim.
Bo çi? Çima qonaxa fermî dirêj kirin? Yek bersiv ev e ku em bibînin ka nêzîkatiya axiomatîk dikare me bigihîne ku derê, ku bi serê xwe xebatek balkêş e. Ger komputer bi qasî ku em dixwazin bi hêz bûna, dê ziman çawa xuya bikin?
Lê ez di heman demê de bawer dikim ku bi lêzêdekirina sînorkirinan ve gengaz e ku meriv bikêrhatîyek bingehîn a Bel-ê binivîse. Ger hûn zimanek xwedî hêza vegotinê, zelalî û bikêrhatî dixwazin, dibe ku hêja be ku meriv bi hêza vegotinê û zelaliyê dest pê bike, û dûv re sînordarkirinê lê zêde bike, ne ku berevajî vê yekê biçin.
Ji ber vê yekê heke hûn dixwazin biceribînin ku bicîhkirinek li ser bingeha Bel binivîsin, pêşde biçin. Ez ê yek ji bikarhênerên yekem bim.
Di dawiyê de, min hin tişt ji zaravayên berê dubare kirin. An sêwiranerên wan rast fêm kirine, an jî di bin bandora zaravayên berê de hatine bikar anîn, ez bersivek rast nabînim - dem dê diyar bike. Min jî hewl da ku ji peymanên Lisp-ê pir dûr nekim. Ev tê vê wateyê ku ger hûn dûrketinek ji peymanên Lisp bibînin, dibe ku sedemek wê hebe.
.
Spas ji bo wergerê: Denis Mitropolsky
PS
Source: www.habr.com