Ang Bel nga pinulongan gisulat sa Bel nga pinulongan.
Niadtong 1960, gihulagway ni John McCarthy ang Lisp, usa ka bag-ong matang sa programming language. Gisulti nako ang "bag-ong tipo" tungod kay ang Lisp dili lamang usa ka bag-ong lengguwahe, apan usa ka bag-ong paagi sa paghulagway sa mga pinulongan.
Sa paghubit sa Lisp, nagsugod siya sa usa ka gamay nga hugpong sa mga pahayag, usa ka matang sa mga axiom, nga iyang gigamit sa pagsulat sa usa ka tighubad alang sa pinulongan mismo.
Wala kini gitakda nga ihulagway ang usa ka programming language sa naandan nga diwa - usa ka lengguwahe nga gigamit sa pagsulti sa usa ka kompyuter kung unsa ang buhaton. Sa iyang 1960 nga trabaho, ang Lisp nasabtan nga usa ka pormal nga modelo sa pagkalkula nga susama sa Turing Machine. Wala maghunahuna si McCarthy bahin sa paggamit niini sa mga kompyuter hangtod nga gisugyot kini ni Steve Russell, ang iyang gradwado nga estudyante.
Lisp sa 1960 walay mga bahin nga komon sa programming mga pinulongan. Pananglitan, walay mga numero, mga sayop o I/O. Busa ang mga tawo nga migamit sa Lisp isip basehanan sa mga pinulongan nga gigamit sa pagprograma sa mga kompyuter kinahanglang magdugang niini nga mga bahin sa ilang kaugalingon. Ug gibuhat nila kini pinaagi sa pagbiya sa axiomatic nga pamaagi.
Busa, ang pag-uswag sa Lisp nagpadayon sa duha - ug ingon og medyo independente - nga mga yugto: usa ka pormal nga yugto, nga gipaila sa usa ka 1960 nga papel, ug usa ka yugto sa pagpatuman, diin ang lengguwahe gipasibo ug gipalapdan aron magamit sa mga kompyuter. Ang nag-unang buluhaton, kung gisukod sa gidaghanon sa gipatuman nga mga oportunidad, nahitabo sa yugto sa pagpatuman. Lisp gikan sa 1960, gihubad ngadto sa Common Lisp, naglangkob lamang sa 53 ka linya. Gihimo lamang niini ang gikinahanglan aron mahubad ang mga ekspresyon. Ang tanan gidugang sa yugto sa pagpatuman.
Ang akong pangagpas mao nga, bisan pa sa lisud nga kasaysayan niini, ang Lisp nakabenepisyo gikan sa kamatuoran nga ang pag-uswag niini nahitabo sa duha ka hugna; nga ang orihinal nga pagbansay sa pagpasabot sa usa ka pinulongan pinaagi sa pagsulat sa tighubad niini naghatag sa Lisp sa labing maayong mga hiyas niini. Ug kon mao, nganong dili mopadayon?
Bel usa ka pagsulay sa pagtubag sa pangutana: unsa kaha kung, imbes nga mobalhin gikan sa pormal nga yugto ngadto sa yugto sa pagpatay sa sayo nga yugto, kini nga transisyon gihimo sa ulahi kutob sa mahimo? Kung magpadayon ka sa paggamit sa axiomatic nga pamaagi hangtod nga adunay usa ka butang nga hapit sa usa ka kompleto nga programming language, unsa nga mga axiom ang imong kinahanglan, ug unsa ang hitsura sa resulta nga sinultian?
Gusto nakong klarohon kung unsa si Bel ug kung unsa kini dili. Bisan kung kini adunay daghan pa nga mga bahin kaysa sa McCarthy's 1960 Lisp, ang Bel usa gihapon ka produkto sa pormal nga yugto niini. Sama sa Lisp, nga gihulagway sa usa ka 1960 nga papel, kini dili usa ka pinulongan nga imong magamit sa pagprograma. Sa panguna tungod kay, sama sa McCarthy's Lisp, wala kini nagpakabana sa kahusayan. Kung magdugang ako usa ka butang sa Bel, akong gihulagway ang kahulugan sa pagdugang nga wala pagsulay sa paghatag usa ka episyente nga pagpatuman.
Para unsa? Nganong i-extend ang pormal nga yugto? Ang usa ka tubag mao ang pagtan-aw kung diin ang axiomatic nga pamaagi makadala kanato, nga usa ka makapaikag nga ehersisyo sa iyang kaugalingon. Kung ang mga kompyuter sama ka kusgan sa gusto namon, unsa ang hitsura sa mga pinulongan?
Apan nagtuo usab ako nga posible nga magsulat usa ka episyente nga pagpatuman nga nakabase sa Bel pinaagi sa pagdugang mga pagdili. Kung gusto nimo ang usa ka lengguwahe nga adunay makapahayag nga gahum, katin-aw, ug kahusayan, mahimoβg angayan nga magsugod sa nagpahayag nga gahum ug katin-aw, ug dayon pagdugang mga pagdili, kaysa moadto sa atbang nga direksyon.
Busa kung gusto nimong sulayan ang pagsulat sa usa ka pagpatuman base sa Bel, padayon. Ako mahimong usa sa mga unang tiggamit.
Sa katapusan, akong gikopya ang pipila ka mga butang gikan sa nangaging mga diyalekto. Mahimong husto ang ilang mga tigdesinyo, o naimpluwensyahan sa gigamit kaniadto nga mga diyalekto, wala nako makita ang husto nga tubag - ang oras ang magsulti. Gisulayan usab nako nga dili mahilayo sa mga kombensiyon sa Lisp. Nga nagpasabut nga kung nakakita ka nga usa ka pagbalhin gikan sa mga kombensiyon sa Lisp, mahimong adunay hinungdan niini.
.
Salamat sa paghubad: Denis Mitropolsky
PS
Source: www.habr.com