რა გახადა Lisp განსაკუთრებული

«ყველაზე დიდი პროგრამირების ენა, რაც კი ოდესმე შექმნილა«
- ალან ქეი, "ლისპზე"

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

ლისპმა შემოიტანა ცხრა ახალი იდეა:

1. პირობები. პირობითი განცხადებები არის თუ-მაშინ-სხვა კონსტრუქციები. ახლა ჩვენ ვიღებთ მათ თავისთავად. Ისინი იყვნენ გამოიგონა მაკარტი Lisp-ის განვითარების დროს. (იმ დროს Fortran-ს ჰქონდა მხოლოდ goto განცხადებები, რომლებიც მჭიდროდ იყო დაკავშირებული ფილიალის ინსტრუქციებთან ძირითადი ტექნიკის შესახებ.) მაკკარტი, ალგოლის კომიტეტში ყოფნისას, პირობითად აწვდიდა Algol-ს, საიდანაც ისინი გავრცელდნენ სხვა ენებზე.

2. ფუნქციის ტიპი. Lisp-ში ფუნქციები პირველი კლასის ობიექტებია - ისინი არის მონაცემთა ტიპი, ისევე როგორც რიცხვები, სტრიქონები და ა.

3. რეკურსია. რეკურსია, რა თქმა უნდა, არსებობდა როგორც მათემატიკური კონცეფცია Lisp-მდე, მაგრამ Lisp იყო პირველი პროგრამირების ენა, რომელიც მხარს უჭერდა მას. (ეს ალბათ იგულისხმება პირველი კლასის ობიექტების ფუნქციების შექმნისას.)

4. ცვლადების ახალი კონცეფცია. Lisp-ში ყველა ცვლადი ეფექტური მაჩვენებელია. მნიშვნელობები არის ის, რაც ტიპებს აქვთ და არა ცვლადებს, ხოლო ცვლადების მინიჭება ან დაკავშირება ნიშნავს მაჩვენებლების კოპირებას და არა იმას, რაზეც ისინი მიუთითებენ.

5. ნაგვის შეგროვება.

6. გამონათქვამებისაგან შემდგარი პროგრამები. Lisp პროგრამები არის გამონათქვამების ხეები, რომელთაგან თითოეული აბრუნებს მნიშვნელობას. (Lisp-ის ზოგიერთ გამონათქვამს შეუძლია დააბრუნოს მრავალი მნიშვნელობა.) ეს ეწინააღმდეგება Fortran-ს და ბევრ სხვა წარმატებულ ენას, რომლებიც განასხვავებენ „გამოხატვებს“ და „განცხადებებს“.

ბუნებრივი იყო ამ განსხვავებას Fortran-ში, რადგან ენა იყო ორიენტირებული ხაზებზე (გასაკვირი არ არის ენისთვის, რომლის შეყვანის ფორმატი იყო პუნჩირებული ბარათი). თქვენ არ შეიძლებოდა წყობილი განცხადებები. და სანამ თქვენ სჭირდებოდათ მათემატიკური გამონათქვამები სამუშაოდ, აზრი არ ჰქონდა რაიმე სხვა მნიშვნელობის დაბრუნებას, რადგან შესაძლოა არაფერი ელოდეს დაბრუნებას.

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

როდესაც ენა მთლიანად შედგება გამონათქვამებისგან, თქვენ შეგიძლიათ შეადგინოთ გამონათქვამები ისე, როგორც გსურთ. თქვენ შეგიძლიათ დაწეროთ ორივე (სინტაქსის გამოყენებით Arc)

(if foo (= x 1) (= x 2))

თუ

(= x (if foo 1 2))

7. სიმბოლოს ტიპი. სიმბოლოები განსხვავდება სტრიქონებისგან, ამ შემთხვევაში შეგიძლიათ შეამოწმოთ თანასწორობა მაჩვენებლების შედარებით.

8. კოდის ნოტაცია სიმბოლო ხეების გამოყენებით.

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

კითხვის დროს კოდის გაშვება საშუალებას აძლევს მომხმარებლებს გადააპროგრამონ Lisp-ის სინტაქსი; გაშვებული კოდი კომპილაციის დროს არის მაკროების საფუძველი; runtime კომპილაცია არის Lisp-ის, როგორც გაფართოების ენის გამოყენების საფუძველი ისეთ პროგრამებში, როგორიცაა Emacs; და ბოლოს, Runtime Reading პროგრამებს საშუალებას აძლევს დაუკავშირდნენ s-გამოხატვების გამოყენებით, იდეა ახლახან ხელახლა გამოიგონეს XML-ში.

დასკვნა

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

დროთა განმავლობაში, ნაგულისხმევი ენა, რომელიც განსახიერებულია პოპულარული ენების წარმატებით, თანდათან განვითარდა Lisp-ისკენ. 1-5 პუნქტები ახლა ფართოდ არის მიღებული. მე-6 წერტილი იწყებს მეინსტრიმში გამოჩენას. პითონში არის პუნქტი 7 გარკვეული ფორმით, თუმცა არ არის შესაფერისი სინტაქსი. მე-8 პუნქტი, რომელიც (მე-9 პუნქტით) შესაძლებელს ხდის მაკროებს Lisp-ში, ჯერ კიდევ არის მხოლოდ Lisp-ში, ალბათ იმიტომ, რომ (ა) მოითხოვს ამ ფრჩხილებს ან რაღაც თანაბრად ცუდს, და (ბ) თუ დაამატებთ სიმძლავრის ამ უკანასკნელ ზრდას, შეგიძლიათ აღარ აცხადებენ, რომ გამოიგონეს ახალი ენა, არამედ შექმნეს მხოლოდ Lisp-ის ახალი დიალექტი; -)

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

წყარო: www.habr.com