Mutauro weBel wakanyorwa mumutauro weBel.
Muna 1960, John McCarthy akatsanangura Lisp, rudzi rutsva rwemutauro wepurogiramu. Ini ndinoti "rudzi rutsva" nekuti Lisp yaisangova mutauro mutsva, asi nzira nyowani yekutsanangura mitauro.
Kuti atsanangure Lisp, akatanga nediki diki zvirevo, rudzi rweaxioms, yaakazoshandisa kunyora muturikiri wemutauro wacho.
Hazvina kutsanangura kutsanangura mutauro wepurogiramu nenzira yakajairika - mutauro unoshandiswa kuudza komputa zvekuita. Mubasa rake re1960, Lisp ainzwisiswa semuenzaniso wekombuta wakafanana neTuring Machine. McCarthy haana kufunga nezvekuishandisa pamakomputa kusvikira Steve Russell, mudzidzi wake akapedza kudzidza, azvitaura.
Lisp muna 1960 akange asina maficha akajairwa kumitauro yekuronga. Semuenzaniso, pakanga pasina nhamba, zvikanganiso kana I/O. Saka vanhu vaishandisa Lisp sehwaro hwemitauro yaishandiswa kuronga makomputa vaifanira kuwedzera izvi maficha ivo pachavo. Uye vakaita izvi nekusiya nzira yeaxiomatic.
Nekudaro, kusimudzirwa kweLisp kwakaenderera mberi mune maviri - uye achiita seakazvimiririra - nhanho: nhanho yepamutemo, yakaunzwa mune 1960 bepa, uye nhanho yekushandisa, umo mutauro wakagadziridzwa uye wakawedzerwa kushanda pamakomputa. Basa guru, kana richiyerwa nehuwandu hwemikana inoshandiswa, yakaitika padanho rekuita. Lisp kubva ku1960, yakashandurirwa muCommon Lisp, ine mitsara makumi mashanu nenhatu chete. Rinoita chete zvinodiwa pakududzira mataurirwo acho. Zvimwe zvese zvakawedzerwa padanho rekuita.
Pfungwa yangu ndeyokuti, pasinei nenhoroondo yayo yakaoma, Lisp akabatsirwa kubva pakuti kukura kwayo kwakaitika muzvikamu zviviri; kuti basa rekutanga rekutsanangura mutauro nekunyora muturikiri wawo mauri rakapa Lisp hunhu hwayo hwakanakisa. Uye kana zvakadaro, wadii kuenderera mberi?
Bel kuyedza kupindura mubvunzo: ko kana, pachinzvimbo chekufamba kubva padanho repamutemo kuenda padanho rekuuraya panguva yekutanga, shanduko iyi yakaitwa nekunonoka sezvinobvira? Kana iwe ukaramba uchishandisa iyo axiomatic nzira kudzamara iwe uine chimwe chinhu chiri padyo neyakakwana chirongwa chemutauro, ndeapi maaxiom aunozoda, uye mhedzisiro mutauro unozotaridzika sei?
Ndinoda kujekesa kuti Bel chii uye kuti chii chisiri. Kunyangwe iine akawanda maficha kupfuura McCarthy's 1960 Lisp, Bel ichiri chigadzirwa muchikamu chayo chepamutemo. SaLisp, yakatsanangurwa mubepa ra1960, hausi mutauro waunogona kushandisa kuronga. Kunyanya nekuti, seMcCarthy's Lisp, haina basa nekubudirira. Kana ini ndikawedzera chimwe chinhu kuBel, ndinotsanangura zvinorehwa nekuwedzera pasina kuyedza kupa kuita kwakasimba.
Yechii? Sei kuwedzera danho repamutemo? Imwe mhinduro ndeyekuona kuti nzira yeaxiomatic inogona kutitora kupi, inova chiitiko chinonakidza pachacho. Dai makomputa aive nesimba sezvatinoda kuti ave, mitauro yaizotaridzika sei?
Asi ini zvakare ndinotenda kuti zvinokwanisika kunyora inoshanda yeBel-based kuita nekuwedzera zvirambidzo. Kana iwe uchida mutauro une simba rinoratidza, kujeka, uye kugona, zvingave zvakakodzera kutanga nesimba rinoratidza uye kujeka, uyezve kuwedzera zvirambidzo, pane kuenda kune rimwe divi.
Saka kana iwe uchida kuyedza kunyora kuita kwakavakirwa paBel, enda mberi. Ndichava mumwe wevashandisi vekutanga.
Pakupedzisira, ndakaburitsa zvimwe zvinhu kubva mumitauro yakapfuura. Pamwe vagadziri vavo vakazviwana zvakanaka, kana kufurirwa nemitauro yakamboshandiswa, ini handisi kuona mhinduro chaiyo - nguva ichataura. Ndakaedzawo kusabva kure nemagungano eLisp. Zvinoreva kuti kana iwe ukaona kusimuka kubva kuLisp magungano, panogona kunge paine chikonzero chazvo.
.
Ndatenda neshanduro: Denis Mitropolsky
PS
Source: www.habr.com