Забони бел ба забони бел навишта шудааст.
Дар соли 1960 Ҷон МакКарти Lisp-ро тавсиф кард, ки як навъи нави забони барномасозӣ мебошад. Ман "навъи нав" мегӯям, зеро Lisp на танҳо забони нав, балки як роҳи нави тавсифи забонҳо буд.
Барои муайян кардани Лисп, ӯ бо маҷмӯи хурди изҳорот, як навъ аксиомаҳо оғоз кард, ки баъдан барои навиштани тарҷумон барои худи забон истифода бурд.
Он барои тавсифи забони барномасозӣ ба маънои маъмулӣ - забоне, ки барои ба компютер чӣ кор кардан истифода мешавад, тавсиф накардааст. Дар кори худ дар соли 1960, Лисп ҳамчун як модели расмии ҳисоббарорӣ ба мошини Тюринг фаҳмида шуд. МакКарти дар бораи истифодаи он дар компютер фикр намекард, то он даме, ки Стив Рассел, донишҷӯи аспиранташ, пешниҳод кард.
Lisp дар соли 1960 хусусиятҳои хоси забонҳои барномасозӣ надошт. Масалан, рақамҳо, хатогиҳо ва вуруд / баромад вуҷуд надоштанд. Аз ин рӯ, одамоне, ки Lisp-ро ҳамчун асос барои забонҳое, ки барои барномасозии компютерҳо истифода мешаванд, истифода бурданд, маҷбур буданд, ки ин хусусиятҳоро худашон илова кунанд. Ва онҳо ин корро бо даст кашидан аз равиши аксиоматикӣ карданд.
Ҳамин тариқ, рушди Lisp дар ду марҳила - ва ба назар комилан мустақил - идома ёфт: марҳилаи расмӣ, ки дар як коғази соли 1960 муаррифӣ карда шуд ва марҳилаи татбиқ, ки дар он забон барои кор дар компютерҳо мутобиқ ва васеъ карда шуд. Кори асосй, агар аз руи микдори имко-ниятхои ба амал баровардашуда чен карда шавад, дар мархалаи амалй гардид. Lisp аз соли 1960, ки ба Common Lisp тарҷума шудааст, танҳо 53 сатрро дар бар мегирад. Он танҳо он чизеро, ки барои тафсири ифодаҳо лозим аст, иҷро мекунад. Ҳама чизи дигар дар марҳилаи татбиқ илова карда шуд.
Фарзияи ман ин аст, ки сарфи назар аз таърихи душвори худ, Лисп аз он манфиат гирифтааст, ки рушди он дар ду марҳила сурат гирифтааст; ки машки аслии таърифи забон бо навиштани тарчумони он ба Лисп сифатхои бехтарини худро додааст. Ва агар ин тавр бошад, чаро пештар наравед?
Изобал кушиши чавоб додан ба савол аст: агар ба чои гузаштан аз мархилаи расмй ба мархилаи ичро дар мархилаи барвакт, ин гузариш харчи дертар сурат мегирифт? Агар шумо истифодаи равиши аксиоматикиро идома диҳед, то он даме ки чизе ба забони мукаммали барномасозӣ наздик шавад, ба шумо кадом аксиомаҳо лозим мешаванд ва забони натиҷавӣ чӣ гуна хоҳад буд?
Ман мехоҳам равшан фаҳмам, ки Бел чист ва он чӣ нест. Гарчанде ки он нисбат ба Лисп МакКарти дар соли 1960 хусусиятҳои зиёде дорад, Бел то ҳол дар марҳилаи расмии худ маҳсулот аст. Мисли Лисп, ки дар коғази соли 1960 тавсиф шудааст, он забоне нест, ки шумо метавонед барои барномасозӣ истифода баред. Асосан аз он сабаб, ки ба монанди Лисп МакКарти, он ба самаранокӣ аҳамият намедиҳад. Вақте ки ман чизеро ба Бел илова мекунам, ман маънои иловаро бидуни кӯшиши иҷрои муассир тавсиф мекунам.
Барои чӣ? Чаро марҳилаи расмӣ дароз карда мешавад? Як ҷавоб ин аст, ки бубинед, ки равиши аксиоматикӣ моро ба куҷо бурда метавонад, ки худ як машқи ҷолиб аст. Агар компютерҳо он қадар тавоно мебуданд, ки мо мехостем, забонҳо чӣ гуна мебуданд?
Аммо ман инчунин боварӣ дорам, ки тавассути илова кардани маҳдудиятҳо татбиқи муассири Белро навиштан мумкин аст. Агар шумо хоҳед, ки забоне дошта бошед, ки қудрати ифодакунанда, возеҳӣ ва муассирӣ дошта бошад, он метавонад ба ҷои он ки ба самти муқобил равад, онро бо қудрати баёнӣ ва возеҳӣ оғоз кунед ва сипас маҳдудиятҳоро илова кунед.
Пас, агар шумо хоҳед, ки ба навиштани амалия дар асоси Бел кӯшиш кунед, идома диҳед. Ман яке аз аввалин корбарон хоҳам буд.
Дар ниҳоят, ман баъзе чизҳоро аз лаҳҷаҳои қаблӣ такрор кардам. Ё тарроҳони онҳо дуруст фаҳмиданд, ё зери таъсири лаҳҷаҳои қаблан истифодашуда, ман ҷавоби дурустро намебинам - вақт нишон хоҳад дод. Ман инчунин кӯшиш мекардам, ки аз конвенсияҳои Лисп дур нашавам. Ин маънои онро дорад, ки агар шумо аз конвенсияҳои Лисп дур шуданро бинед, шояд сабабе бошад.
.
Ташаккур барои тарҷума: Денис Митропольский
PS
Манбаъ: will.com