პოლ გრეჰემმა გამოაცხადა ახალი პროგრამირების ენა Bel

ბელი ენა იწერება ბელ ენაზე.

1960 წელს ჯონ მაკკარტიმ აღწერა Lisp, ახალი ტიპის პროგრამირების ენა. მე ვამბობ "ახალ ტიპს", რადგან Lisp იყო არა მხოლოდ ახალი ენა, არამედ ენების აღწერის ახალი გზა.

ლისპის განსაზღვრა მან დაიწყო განცხადებების მცირე ნაკრებით, ერთგვარი აქსიომებით, რომლებიც შემდეგ გამოიყენა თავად ენისთვის თარჯიმნის დასაწერად.

იგი არ აპირებდა პროგრამირების ენის აღწერას ჩვეულებრივი გაგებით - ენა, რომელიც გამოიყენება კომპიუტერისთვის იმის გასაგებად, თუ რა უნდა გააკეთოს. 1960 წლის თავის ნაშრომში ლისპი გაგებული იყო, როგორც ტურინგის მანქანის მსგავსი გამოთვლის ფორმალურ მოდელად. მაკარტი არ უფიქრია მის გამოყენებაზე კომპიუტერებზე, სანამ სტივ რასელმა, მისმა კურსდამთავრებულმა არ შესთავაზა ეს.

Lisp-ს 1960 წელს არ გააჩნდა პროგრამირების ენებისთვის საერთო მახასიათებლები. მაგალითად, არ იყო რიცხვები, შეცდომები ან I/O. ასე რომ, ადამიანებს, რომლებიც იყენებდნენ Lisp-ს, როგორც კომპიუტერების დაპროგრამებისთვის გამოყენებული ენების საფუძველს, თავად უნდა დაემატებინათ ეს მახასიათებლები. და მათ ეს გააკეთეს აქსიომატური მიდგომის მიტოვებით.

ამრიგად, Lisp-ის განვითარება მიმდინარეობდა ორ – და ერთი შეხედვით საკმაოდ დამოუკიდებელ – ეტაპად: ფორმალური ეტაპი, რომელიც შემოღებულ იქნა 1960 წლის ნაშრომში და განხორციელების ეტაპი, რომელშიც ენა ადაპტირებული და გაფართოვდა კომპიუტერებზე გასაშვებად. ძირითადი სამუშაო, განხორციელებული შესაძლებლობების რაოდენობით თუ იზომება, განხორციელების ეტაპზე მიმდინარეობდა. Lisp 1960 წლიდან, Common Lisp-ზე თარგმნილი, შეიცავს მხოლოდ 53 სტრიქონს. ის აკეთებს მხოლოდ იმას, რაც აუცილებელია გამონათქვამების ინტერპრეტაციისთვის. ყველაფერი დანარჩენი დაემატა განხორციელების ეტაპზე.

ჩემი ჰიპოთეზაა, რომ, მიუხედავად მისი რთული ისტორიისა, ლისპმა ისარგებლა იმით, რომ მისი განვითარება ორ ფაზაში მოხდა; რომ ენის განსაზღვრის თავდაპირველმა სავარჯიშომ მასში მისი თარჯიმანის ჩაწერით მისცა ლისპს მისი საუკეთესო თვისებები. და თუ ასეა, რატომ არ წავიდეთ უფრო შორს?

ლამაზი არის კითხვაზე პასუხის გაცემის მცდელობა: რა მოხდება, თუ ფორმალური ეტაპიდან ადრეულ ეტაპზე შესრულების ეტაპზე გადასვლის ნაცვლად, ეს გადასვლა რაც შეიძლება გვიან მომხდარიყო? თუ თქვენ განაგრძობთ აქსიომური მიდგომის გამოყენებას მანამ, სანამ არ გექნებათ რაიმე ახლოს სრულ პროგრამირების ენასთან, რა აქსიომები დაგჭირდებათ და როგორი იქნება მიღებული ენა?

მსურს გარკვევით განვმარტო, რა არის ბელი და რა არა. მიუხედავად იმისა, რომ მას აქვს ბევრად მეტი ფუნქცია, ვიდრე მაკკარტის 1960 Lisp-ს, ბელი მაინც არის პროდუქტი მის ფორმალურ ფაზაში. Lisp-ის მსგავსად, რომელიც აღწერილია 1960 წლის ნაშრომში, ეს არ არის ენა, რომლის გამოყენება შეგიძლიათ დაპროგრამებისთვის. ძირითადად იმიტომ, რომ მაკკარტის Lisp-ის მსგავსად, მას არ აინტერესებს ეფექტურობა. როდესაც ბელს რაღაცას ვამატებ, მე აღვწერ დამატების მნიშვნელობას ეფექტური განხორციელების მცდელობის გარეშე.

Რისთვის? რატომ გავაგრძელოთ ფორმალური ეტაპი? ერთი პასუხია ვნახოთ, სად შეიძლება მიგვიყვანოს აქსიომური მიდგომა, რაც თავისთავად საინტერესო სავარჯიშოა. თუ კომპიუტერები ისეთივე ძლიერი იქნებოდა, როგორიც ჩვენ გვსურს, როგორი იქნებოდა ენები?

მაგრამ მე ასევე მჯერა, რომ შესაძლებელია Bel-ზე დაფუძნებული ეფექტური იმპლემენტაციის დაწერა შეზღუდვების დამატებით. თუ გსურთ ენა, რომელსაც აქვს გამომსახველობითი ძალა, სიცხადე და ეფექტურობა, შეიძლება ღირდეს დაწყება გამოხატვის ძალითა და სიცხადით და შემდეგ შეზღუდვების დამატება, ვიდრე საპირისპირო მიმართულებით წასვლა.

ასე რომ, თუ გსურთ სცადოთ ბელზე დაფუძნებული იმპლემენტაციის დაწერა, განაგრძეთ. მე ვიქნები ერთ-ერთი პირველი მომხმარებელი.

საბოლოო ჯამში, მე გავამრავლე რაღაცები წინა დიალექტებიდან. ან მათმა დიზაინერებმა სწორად გაიგეს, ან ადრე გამოყენებული დიალექტების გავლენის ქვეშ, მე ვერ ვხედავ სწორ პასუხს - დრო გვიჩვენებს. მე ასევე ვცდილობდი ძალიან შორს არ გავმხდარიყავი ლისპის კონვენციებისგან. რაც ნიშნავს, რომ თუ ხედავთ Lisp-ის კონვენციების დაშორებას, შეიძლება ამის მიზეზი იყოს.

ენის აღწერილობის გაგრძელება აქ.

• სახელმძღვანელო ბელ ენაზე
• ბელის წყარო
• რამდენიმე კოდის მაგალითი

მადლობა თარგმანისთვის: დენის მიტროპოლსკი

PS

• პოლ გრეჰემის ესეების 143 თარგმანის არჩევანი (184-დან)

წყარო: www.habr.com