D'Bel Sprooch ass an der Bel Sprooch geschriwwen.
1960 huet den John McCarthy d'Lisp beschriwwen, eng nei Zort Programméierungssprooch. Ech soen "nei Typ", well d'Lisp war net nëmmen eng nei Sprooch, mee eng nei Manéier fir Sproochen ze beschreiwen.
Fir de Lisp ze definéieren, huet hie mat enger klenger Rei vun Aussoen ugefaangen, eng Zort Axiomen, déi hien duerno benotzt huet fir en Dolmetscher fir d'Sprooch selwer ze schreiwen.
Et huet sech net virgestallt fir eng Programméierungssprooch am gewéinleche Sënn ze beschreiwen - eng Sprooch déi benotzt gëtt fir engem Computer ze soen wat ze maachen. A sengem 1960er Wierk gouf de Lisp als e formelle Berechnungsmodell verstan wéi d'Turing Machine. De McCarthy huet net dru geduecht et op Computeren ze benotzen bis de Steve Russell, säi Graduéierter Student, et proposéiert huet.
Lisp am Joer 1960 huet net d'Features, déi allgemeng fir Programméierungssproochen sinn. Zum Beispill goufen et keng Zuelen, Feeler oder I / O. Also Leit, déi de Lisp als Basis fir d'Sprooche benotzt hunn, déi benotzt gi fir Computeren ze programméieren, mussen dës Features selwer addéieren. A si hunn dat gemaach andeems se déi axiomatesch Approche opginn.
Sou ass d'Entwécklung vu Lisp an zwee - a scheinbar ganz onofhängeg - Etappe viru gaangen: eng formell Etapp, déi an engem Pabeier vun 1960 agefouert gouf, an eng Ëmsetzungsphase, an där d'Sprooch ugepasst an ausgebaut gouf fir op Computeren ze lafen. D'Haaptaarbecht, wann d'Zuel vun de implementéierte Méiglechkeeten gemooss gëtt, ass an der Ëmsetzungsstadium stattfonnt. Lisp aus 1960, iwwersat op Common Lisp, enthält nëmmen 53 Zeilen. Et mécht nëmmen dat wat néideg ass fir d'Ausdréck ze interpretéieren. Alles anescht gouf an der Ëmsetzungsstadium bäigefüügt.
Meng Hypothes ass datt d'Lisp trotz senger schwiereger Geschicht dovun profitéiert huet datt seng Entwécklung an zwou Phasen geschitt ass; datt déi ursprénglech Übung fir eng Sprooch ze definéieren andeems en Dolmetscher dra schreift huet dem Lisp seng bescht Qualitéite ginn. A wa jo, firwat net méi wäit goen?
Bel ass e Versuch d'Fro ze beäntweren: Wat wann, amplaz vun der formell Etapp op d'Exekutiounsstadium fréizäiteg ze plënneren, dësen Iwwergang sou spéit wéi méiglech gemaach gëtt? Wann Dir weiderhin déi axiomatesch Approche benotzt bis Dir eppes no bei enger kompletter Programméierungssprooch hutt, wéi eng Axiome brauch Dir, a wéi wäert déi resultéierend Sprooch ausgesinn?
Ech wëll kloer sinn iwwer wat Bel ass a wat et net ass. Och wann et vill méi Features huet wéi dem McCarthy säin 1960 Lisp, ass de Bel nach ëmmer e Produkt a senger formeller Phase. Wéi de Lisp, an engem 1960er Pabeier beschriwwen, ass et keng Sprooch déi Dir benotze kënnt fir ze programméieren. Haaptsächlech well et wéi dem McCarthy säi Lisp net ëm Effizienz këmmert. Wann ech eppes un de Bel bäidroen, beschreiwen ech d'Bedeitung vun der Zousatz ouni ze probéieren eng effizient Ëmsetzung ze bidden.
Fir wat? Firwat déi formell Etapp verlängeren? Eng Äntwert ass ze kucken wou déi axiomatesch Approche eis ka huelen, wat eng interessant Übung u sech ass. Wann Computere sou mächteg wiere wéi mir se gär hätten, wéi géife Sprooche ausgesinn?
Awer ech gleewen och datt et méiglech ass eng effizient Ëmsetzung baséiert op Bel ze schreiwen andeems Dir Restriktiounen derbäigesat. Wann Dir eng Sprooch wëllt, déi expressiv Kraaft, Kloerheet an Effizienz huet, ass et derwäert, mat expressiver Kraaft a Kloerheet unzefänken, an dann Restriktiounen ze addéieren, anstatt an déi entgéintgesate Richtung ze goen.
Also wann Dir wëllt probéieren eng Implementatioun baséiert op Bel ze schreiwen, gitt vir. Ech wäert ee vun den éischte Benotzer sinn.
Schlussendlech hunn ech e puer Saachen aus fréieren Dialekte reproduzéiert. Entweder hir Designer hunn et richteg, oder beaflosst vu virdru benotzten Dialekter, ech gesinn net déi richteg Äntwert - d'Zäit wäert soen. Ech hu probéiert och net ze wäit vun Lisp Konventioune ewech. Wat heescht, datt wann Dir e Plënneren ewech vun Lisp Konventioune gesinn, et kann e Grond fir et ginn.
.
Merci fir d'Iwwersetzung: Denis Mitropolsky
PS
Source: will.com