Ede Bel ni a kọ sinu ede Bel.
Ni ọdun 1960, John McCarthy ṣe apejuwe Lisp, iru ede siseto tuntun kan. Mo sọ “oriṣi tuntun” nitori Lisp kii ṣe ede tuntun nikan, ṣugbọn ọna tuntun ti apejuwe awọn ede.
Lati ṣalaye Lisp, o bẹrẹ pẹlu awọn alaye kekere kan, iru awọn axioms, eyiti o lo lati kọ onitumọ fun ede funrararẹ.
Ko ṣeto lati ṣapejuwe ede siseto ni itumọ deede - ede ti a lo lati sọ fun kọnputa kini kini lati ṣe. Ninu iṣẹ 1960 rẹ, Lisp ni oye bi awoṣe adaṣe ti iṣiro ni ibamu si Ẹrọ Turing. McCarthy ko ronu nipa lilo rẹ lori awọn kọnputa titi Steve Russell, ọmọ ile-iwe giga rẹ, daba rẹ.
Lisp ni ọdun 1960 ko ni awọn ẹya ti o wọpọ si awọn ede siseto. Fun apẹẹrẹ, ko si awọn nọmba, awọn aṣiṣe tabi I/O. Nitorinaa awọn eniyan ti o lo Lisp gẹgẹbi ipilẹ fun awọn ede ti a lo lati ṣe eto awọn kọnputa ni lati ṣafikun awọn ẹya wọnyi funrararẹ. Ati pe wọn ṣe eyi nipa fifi ọna axiomatic silẹ.
Nitorinaa, idagbasoke ti Lisp tẹsiwaju ni meji - ati pe o dabi ẹni pe o jẹ ominira - awọn ipele: ipele ti iṣe deede, ti a ṣe sinu iwe 1960, ati ipele imuse kan, ninu eyiti ede ti ṣe adaṣe ati gbooro lati ṣiṣẹ lori awọn kọnputa. Iṣẹ akọkọ, ti o ba ṣe iwọn nipasẹ nọmba awọn aye ti a ṣe imuse, waye ni ipele imuse. Lisp lati 1960, ti a tumọ si Lisp wọpọ, ni awọn laini 53 nikan. O ṣe nikan ohun ti o jẹ dandan lati ṣe itumọ awọn ọrọ naa. Gbogbo ohun miiran ni a ṣafikun ni ipele imuse.
Itumọ mi ni pe, laibikita itan-akọọlẹ ti o nira, Lisp ni anfani lati otitọ pe idagbasoke rẹ waye ni awọn ipele meji; pe idaraya atilẹba ti asọye ede kan nipa kikọ onitumọ rẹ ninu rẹ fun Lisp awọn agbara ti o dara julọ. Ati pe ti o ba jẹ bẹ, kilode ti o ko lọ siwaju sii?
Bel jẹ igbiyanju lati dahun ibeere naa: kini ti o ba jẹ pe, dipo gbigbe lati ipo iṣere si ipele ipaniyan ni ipele ibẹrẹ, iyipada yii ti pẹ bi o ti ṣee ṣe? Ti o ba tẹsiwaju lati lo ọna axiomatic titi iwọ o fi ni nkan ti o sunmọ ede siseto pipe, awọn axioms wo ni iwọ yoo nilo, ati kini ede ti abajade yoo dabi?
Mo fẹ lati ṣe alaye nipa kini Bel jẹ ati kini kii ṣe. Botilẹjẹpe o ni ọpọlọpọ awọn ẹya diẹ sii ju McCarthy's 1960 Lisp, Bel tun jẹ ọja ni ipele iṣe rẹ. Gẹgẹbi Lisp, ti a ṣalaye ninu iwe 1960, kii ṣe ede ti o le lo lati ṣe eto. Ni akọkọ nitori, bii McCarthy's Lisp, ko bikita nipa ṣiṣe. Nigbati mo ba fi nkan kun Bel, Mo ṣe apejuwe itumọ ti afikun laisi igbiyanju lati pese imuse daradara.
Fun kini? Idi ti fa awọn lodo ipele? Idahun kan ni lati rii ibiti ọna axiomatic le mu wa, eyiti o jẹ adaṣe ti o nifẹ ninu funrararẹ. Ti awọn kọnputa ba lagbara bi a ṣe fẹ ki wọn jẹ, kini awọn ede yoo dabi?
Ṣugbọn Mo tun gbagbọ pe o ṣee ṣe lati kọ imuse ti o da lori Bel daradara nipa fifi awọn ihamọ kun. Ti o ba fẹ ede ti o ni agbara ikosile, mimọ, ati ṣiṣe, o le tọ lati bẹrẹ pẹlu agbara ikosile ati mimọ, ati lẹhinna ṣafikun awọn ihamọ, dipo lilọ si ọna idakeji.
Nitorinaa ti o ba fẹ gbiyanju kikọ imuse kan ti o da lori Bel, tẹsiwaju. Emi yoo jẹ ọkan ninu awọn olumulo akọkọ.
Nikẹhin, Mo tun ṣe awọn nkan kan lati awọn ede-ede ti tẹlẹ. Boya awọn apẹẹrẹ wọn ni o tọ, tabi ni ipa nipasẹ awọn ede ti a lo tẹlẹ, Emi ko rii idahun ti o tọ - akoko yoo sọ. Mo tún gbìyànjú láti má ṣe jìnnà sí àwọn àpéjọpọ̀ Lisp. Eyi ti o tumọ si pe ti o ba ri gbigbe kuro ni awọn apejọ Lisp, o le jẹ idi kan fun.
.
O ṣeun fun itumọ: Denis Mitropolsky
PS
orisun: www.habr.com