An rubuta harshen Bel a cikin harshen Bel.
A cikin 1960, John McCarthy ya bayyana Lisp, sabon nau'in yaren shirye-shirye. Na ce "sabon nau'i" saboda Lisp ba sabon harshe ba ne kawai, amma sabuwar hanyar kwatanta harsuna.
Don ma'anar Lisp, ya fara da ƴan ƙananan maganganu, wani nau'i na axioms, wanda ya yi amfani da su don rubuta fassarar harshen da kansa.
Ba a yi niyya ba don siffanta yaren shirye-shirye kamar yadda aka saba - harshen da ake amfani da shi don gaya wa kwamfuta abin da za a yi. A cikin aikinsa na 1960, an fahimci Lisp a matsayin ƙirar ƙididdiga ta yau da kullun ga Injin Turing. McCarthy bai yi tunanin amfani da ita a kan kwamfutoci ba har sai Steve Russell, ɗalibin sa na digiri, ya ba da shawarar hakan.
Lisp a cikin 1960 ba shi da fasali gama-gari ga harsunan shirye-shirye. Misali, babu lambobi, kurakurai ko I/O. Don haka mutanen da suka yi amfani da Lisp a matsayin tushen harsunan da ake amfani da su don tsara kwamfutoci dole ne su ƙara waɗannan abubuwan da kansu. Kuma sun yi haka ta hanyar watsi da tsarin axiomatic.
Don haka, ci gaban Lisp ya ci gaba a matakai biyu - kuma ga alama masu zaman kansu - matakai: mataki na yau da kullun, wanda aka gabatar a cikin takarda na 1960, da kuma matakin aiwatarwa, wanda aka daidaita harshe kuma aka fadada shi don aiki akan kwamfutoci. Babban aikin, idan an auna ta yawan damar da aka aiwatar, ya faru a matakin aiwatarwa. Lisp daga 1960, fassara zuwa Common Lisp, ya ƙunshi layi 53 kawai. Yana yin kawai abin da ya wajaba don fassara maganganun. Duk abin da aka ƙara a matakin aiwatarwa.
Hasashena shi ne, duk da wahalar tarihinsa, Lisp ya amfana da cewa ci gabanta ya kasance a matakai biyu; cewa ainihin aikin ayyana harshe ta hanyar rubuta fassararsa a cikinsa ya ba Lisp kyawawan halaye. Idan kuma haka ne, me zai hana a kara gaba?
Bel ƙoƙari ne na amsa tambayar: menene idan, maimakon ƙaura daga mataki na yau da kullun zuwa mataki na kisa a farkon matakin, an yi wannan sauyi a ƙarshen mai yiwuwa? Idan kun ci gaba da yin amfani da tsarin axiomatic har sai kun sami wani abu kusa da cikakken yaren shirye-shirye, waɗanne axioms za ku buƙaci, kuma yaya yaren da ya haifar zai kasance?
Ina so in bayyana abin da Bel yake da abin da ba haka ba. Kodayake yana da ƙarin fasali fiye da na McCarthy's 1960 Lisp, Bel har yanzu samfuri ne a cikin tsarin sa na yau da kullun. Kamar Lisp, wanda aka kwatanta a cikin takarda na 1960, ba harshe ba ne da za ku iya amfani da shi don tsarawa. Musamman saboda, kamar McCarthy's Lisp, bai damu da inganci ba. Lokacin da na ƙara wani abu zuwa Bel, na bayyana ma'anar ƙari ba tare da ƙoƙarin samar da ingantaccen aiwatarwa ba.
Don me? Me yasa tsawaita matakin na yau da kullun? Amsa ɗaya ita ce ganin inda tsarin axiomatic zai iya kai mu, wanda shine motsa jiki mai ban sha'awa a kansa. Idan kwamfutoci suna da ƙarfi kamar yadda muke so su kasance, yaya harsuna za su yi kama?
Amma na kuma yi imani cewa yana yiwuwa a rubuta ingantaccen aiwatar da tushen Bel ta ƙara hani. Idan kana son yaren da ke da ikon bayyanawa, tsafta, da inganci, yana iya zama darajar farawa da ikon bayyanawa da bayyananniyar, sa'an nan kuma ƙara hani, maimakon tafiya ta wata hanya dabam.
Don haka idan kuna son gwada rubuta aiwatarwa bisa Bel, ci gaba. Zan kasance ɗaya daga cikin masu amfani na farko.
A ƙarshe, na sake fitar da wasu abubuwa daga yarukan da suka gabata. Ko dai masu zanen su sun yi daidai, ko kuma yarukan da aka yi amfani da su a baya sun rinjaye ni, ban ga amsar da ta dace ba - lokaci zai nuna. Na kuma yi ƙoƙarin kada in yi nisa da taron gunduma na Lisp. Wanda ke nufin cewa idan kun ga ƙaura daga tarurrukan Lisp, ƙila a sami dalili.
.
Godiya ga fassarar: Denis Mitropolsky
PS
source: www.habr.com