Ny fiteny Bel dia nosoratana tamin'ny fiteny Bel.
Tamin'ny 1960, i John McCarthy dia nanoritsoritra ny Lisp, karazana fiteny fandaharana vaovao. Hoy aho hoe "karazana vaovao" satria ny Lisp dia tsy fiteny vaovao fotsiny, fa fomba vaovao hamaritana fiteny.
Mba hamaritana ny Lisp, dia nanomboka tamin'ny andian-teny kely izy, karazana axiom, izay nampiasainy hanoratra mpandika teny ho an'ny fiteny.
Tsy natao hamaritana fiteny fandaharana amin'ny heviny mahazatra - fiteny ampiasaina hilazana amin'ny solosaina ny tokony hatao. Tamin'ny asany tamin'ny taona 1960, ny Lisp dia noheverina ho modely ara-dalΓ na amin'ny kajy mitovy amin'ny Turing Machine. Tsy nieritreritra ny hampiasa izany amin'ny ordinatera i McCarthy raha tsy i Steve Russell, ilay mpianatra nahazo diplaoma, no nanolotra izany.
Lisp tamin'ny 1960 dia tsy nanana endri-javatra mahazatra amin'ny fiteny fandaharana. Ohatra, tsy nisy isa, fahadisoana na I/O. Noho izany, ireo izay nampiasa Lisp ho fototry ny fiteny ampiasaina amin'ny programa ordinatera dia tsy maintsy nanampy ireo endri-javatra ireo. Ary nanao izany izy ireo tamin'ny nandaozany ny fomba fiasa axiomatic.
Noho izany, ny fivoaran'ny Lisp dia nizotra tamin'ny dingana roa - ary toa tena mahaleo tena - dingana: dingana ara-dalΓ na, nampidirina tao amin'ny taratasy 1960, ary dingana fampiharana, izay nampifanarahana sy nitarina tamin'ny ordinatera ny fiteny. Ny asa lehibe, raha refesina amin'ny isan'ny fahafahana ampiharina, dia natao teo amin'ny dingana fampiharana. Lisp avy amin'ny 1960, nadika ho Common Lisp, dia tsy misy afa-tsy 53 andalana. Izay ilaina amin'ny fandikana ny fomba fiteny ihany no ataony. Ny zavatra hafa rehetra dia nampiana tamin'ny dingana fampiharana.
Ny hevitro dia ny hoe, na dia eo aza ny tantarany sarotra, Lisp dia nahazo tombony tamin'ny zava-misy fa ny fivoarany dia nitranga tamin'ny dingana roa; fa ny fampiasana tany am-boalohany hamaritana fiteny iray amin'ny fanoratana ny mpandika teny ao dia nanome an'i Lisp ny toetrany tsara indrindra. Ary raha eny, maninona raha mandroso kokoa?
Bel dia ezahina hamaliana ny fanontaniana hoe: ahoana raha toa ka tsy nifindra avy amin'ny dingana ara-dalΓ na mankany amin'ny dingana famonoana amin'ny dingana voalohany izany tetezamita izany dia natao tara araka izay azo atao? Raha manohy mampiasa ny fomba fiasa axiomatic ianao mandra-pahazoanao zavatra akaikin'ny fiteny fandaharana feno, inona ny axioms ilainao, ary toy ny ahoana ny fitenin'ny vokatra?
Te-hazava tsara ny momba an'i Bel sy ny tsy izy. Na dia manana endri-javatra maro kokoa noho ny McCarthy's 1960 Lisp aza, Bel dia mbola vokatra amin'ny dingana ofisialy. Tahaka an'i Lisp, nofaritana tao amin'ny gazety 1960, dia tsy fiteny azonao ampiasaina amin'ny fandaharana. Satria indrindra, toa an'i McCarthy's Lisp, dia tsy miraharaha ny fahombiazany. Rehefa manampy zavatra amin'i Bel aho dia mamaritra ny dikan'ny fanampiana nefa tsy manandrana manome fampiharana mahomby.
Hatao inona? Nahoana no hanitatra ny dingana ofisialy? Ny valiny iray dia ny mahita hoe aiza no ahafahan'ny fomba fiasa axiomatic hitondra antsika, izay fanazaran-tena mahaliana. Raha toa ka matanjaka tahaka ny itiavanay azy ny solosaina, ho tahaka ny ahoana ny fiteny?
Saingy mino koa aho fa azo atao ny manoratra fampiharana mahomby mifototra amin'ny Bel amin'ny alΓ lan'ny fameperana. Raha mila fiteny manana hery maneho hevitra, mazava ary mahomby ianao, dia mety ho mendrika ny manomboka amin'ny hery maneho hevitra sy mazava, ary avy eo manampy fameperana, fa tsy mandeha amin'ny lalana mifanohitra.
Ka raha te hanandrana manoratra fampiharana mifototra amin'i Bel ianao dia tohizo. Ho iray amin'ireo mpampiasa voalohany aho.
Tamin'ny farany dia namerina zavatra avy amin'ny fitenim-paritra teo aloha aho. Na azon'ny mpamorona azy tsara izany, na voataonan'ny fitenim-paritra efa nampiasaina teo aloha, tsy hitako ny valiny marina - ny fotoana no hilaza. Niezaka koa aho mba tsy hiala lavitra ny fivoriambenβny Lisp. Midika izany fa raha mahita ny fialana amin'ny fivoriambe Lisp ianao dia mety misy antony izany.
.
Misaotra tamin'ny fandikana: Denis Mitropolsky
Sal
Source: www.habr.com