ალან ქეი, OOP-ის შემქმნელი, განვითარების შესახებ, Lisp და OOP

თუ არასოდეს გსმენიათ ალან ქეის შესახებ, მაინც გსმენიათ მისი ცნობილი ციტატები. მაგალითად, ეს ციტატა 1971 წლიდან:

მომავლის წინასწარმეტყველების საუკეთესო გზა მისი გამოგონებაა.
მომავლის წინასწარმეტყველების საუკეთესო გზა მისი გამოგონებაა.

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

ჩვენს ჰექსლეტიგანსაკუთრებით chattingმუდმივად ჩნდება კითხვა „რა არის OOP“ და „რას გულისხმობდა ალან ქეი სინამდვილეში“. ეს პოსტი შეიცავს ალანის საინტერესო ციტატებს თანამედროვე განვითარების მდგომარეობის, OOP და Lisp ენის შესახებ.

პროგრამული უზრუნველყოფის შემუშავების შესახებ

ალან ქეი თვლის, რომ კომპიუტერული რევოლუცია ჯერ კიდევ წინ არის (ნამდვილი კომპიუტერული რევოლუცია ჯერ არ მომხდარა) და პროგრამული უზრუნველყოფის განვითარება ვითარდება მურის კანონის შებრუნებული პროპორციით: აპარატურა ყოველწლიურად უმჯობესდება, მაგრამ პროგრამული უზრუნველყოფა ზედმეტად იფუთება:

პრობლემა არის სუსტი, ცუდად მასშტაბური იდეები და ინსტრუმენტები, სიზარმაცე, ცოდნის ნაკლებობა და ა.შ.

კარგად აღწერს ამ სიტუაციას მოკლე ხუმრობა:

რასაც ენდი აძლევს, ბილი წაართმევს
ენდიმ მისცა, ბილმა აიღო

ენდი გროვი, Intel-ის აღმასრულებელი დირექტორი და ბილ გეითსი, მაშინდელი Microsoft-ის აღმასრულებელი დირექტორი.

განვითარების არსებული მდგომარეობის გაუმჯობესება კვლევითი პროექტის მიზანი იყო ნაბიჯები პროგრამირების ხელახალი გამოგონებისკენ (pdf). მიზანია მივაღწიოთ „მურის კანონის“ ექსპრესიულობაში „მოთხოვნილი კოდის რაოდენობის შემცირებით 100, 1000, 10000-ჯერ ან მეტით“.

თავის თვალისმომჭრელ მოხსენებაში პროგრამირება და სკალირება (ვიდეო) ეს თემა უფრო დეტალურად არის განხილული. ალანის თქმით, პროგრამული უზრუნველყოფის ინჟინერია გაჩერდა და ხდება მივიწყებული მეცნიერება, რომელიც ვერ ახერხებს აპარატურულ და სხვა მეცნიერებებსა და საინჟინრო დისციპლინებს. მსხვილი პროექტები კოდის ნაგავსაყრელად იქცა და იქამდე მიაღწია არავინ ვერ გაიგებს MS Vista ან MS Word კოდის 100 მილიონი სტრიქონს. მაგრამ სინამდვილეში, ასეთ პროექტებში უნდა იყოს უფრო ნაკლები კოდი.

ალანი ითვალისწინებს ინტერნეტს, TCP/IP პროტოკოლებს, LISP თარჯიმნებს, Nile (მათემატიკის DSL ვექტორული გრაფიკისთვის) და OMeta (OO PEG) (PDF) ელეგანტური პროგრამული უზრუნველყოფის მაგალითები მინიმალური კოდით.

ის უწოდებს ინტერნეტს (TCP/IP) ერთ-ერთ იმ მცირერიცხოვან ფართომასშტაბიან პროგრამულ პროექტებს შორის, რომელიც სწორად იყო შემუშავებული და მისი სირთულის დონე დაბალანსებულია სირთულის დონესთან (სირთულეები სირთულის წინააღმდეგ). 20 სტრიქონზე ნაკლები კოდით, პროექტი მოქმედებს როგორც ცოცხალი, დინამიური სისტემა, რომელსაც შეუძლია მილიარდობით კვანძის მხარდაჭერა და არასოდეს ყოფილა ხაზგარეშე მისი საწყისი გაშვების შემდეგ 1969 წლის სექტემბერში. ჩვენ უბრალოდ შევწყვიტეთ ინტერნეტის მიჩნევა ჩვეულებრივ პროგრამულ პროექტად, რომელიც შექმნილია ხალხის მიერ:

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

ობიექტზე ორიენტირებული პროგრამირების შესახებ

პირველი, რაც დამაინტერესა, მისი იყო ორიგინალური OOP ხედვა. მისმა გამოცდილებამ მიკრობიოლოგიაში მნიშვნელოვანი როლი ითამაშა:

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

და გამოცდილება მათემატიკაში:

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

LISPA-ს გვიან შეკვრისა და ძლიერი მეტა-ფუნქციების იდეები:

მეორე ეტაპი არის LISPA-ს გაგება და ამ გაგების გამოყენება უფრო მარტივი, პატარა, უფრო ძლიერი სტრუქტურების შესაქმნელად და მოგვიანებით სავალდებულო.

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

გვიან შეკვრა საშუალებას აძლევს იდეებს, რომლებიც მოგვიანებით მოვიდა განვითარების პროცესში, ჩაერთოს პროექტში ნაკლები ძალისხმევით (ადრე შეკრულ სისტემებთან შედარებით, როგორიცაა C, C++, Java და ა.შ.)

და ცვლილებების პოტენციალი და უფრო სწრაფი გამეორება:

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

რომელიც აკლია სტატიკურად აკრეფილი ენები:

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

გასაკვირია, რომ მისი აზრები OOP-ზე ამით შემოიფარგლებოდა:

OOP ჩემთვის არის შეტყობინებები, ლოკალური შეკავება და დაცვა, სახელმწიფო დამალვა და ყველაფრის დაგვიანებული სავალდებულო. ეს შეიძლება გაკეთდეს Smalltalk-ში და LISP-ში.

და არაფერი მემკვიდრეობის შესახებ. ეს არ არის OOP რომელიც ჩვენ დღეს ვიცით:

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

დიდი იდეა, რომელიც თანამედროვე სტატიკურად აკრეფილ OO ენებს აკლია:

დიდი იდეა არის "შეტყობინებები"

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

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

სტატიკურად აკრეფილი ენები მას ეჩვენება დეფექტური:

ტიპების წინააღმდეგი არ ვარ, მაგრამ არ ვიცი რაიმე ტიპის სისტემა, რომელიც ტკივილს არ იწვევს. ასე რომ, მე მაინც მომწონს დინამიური აკრეფა.

ზოგიერთი პოპულარული ენა დღეს იყენებს Smalltalk-ის შეტყობინების გადაცემის იდეებს, გვიან შეკვრას და არ ესმის: წინ გამოძახება в ობიექტივი- C, მეთოდი_გამოტოვებული в Ruby и noSuchMethod Google-ში რეიტინგი.

გაანადგურე ყველაფერი და შექმენი უკეთესი

ალანს აქვს საინტერესო თეორია კომპიუტერული მეცნიერების განვითარების შესახებ:

მეჩვენება, რომ კომპიუტერული მეცნიერების მხოლოდ ერთი ტიპი არსებობს და ეს მეცნიერება ხიდების აგებას ჰგავს. ვიღაც აშენებს ხიდებს, ვიღაც ანგრევს მათ და ქმნის ახალ თეორიებს. და ჩვენ უნდა გავაგრძელოთ ხიდების მშენებლობა.

LISP-ის შესახებ

ალან ქეის სჯერა Lisp

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

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

ადამიანების უმეტესობას, ვინც სწავლობს CS-ში, არ ესმის Lisp-ის მნიშვნელობა. Lisp არის ყველაზე მნიშვნელოვანი იდეა კომპიუტერულ მეცნიერებაში.

სწორი ატმოსფეროსა და კონტექსტის შესახებ

ის ხშირად იხსენებს უნიკალურ ატმოსფეროს ქსეროქსი PARC и ARPA, სადაც „ხედვა უფრო მნიშვნელოვანია, ვიდრე მიზნები“ და „ადამიანების დაფინანსება და არა პროექტები“.

თვალსაზრისი ღირს 80 IQ ქულა.

ალან ქეი ამბობს:

ARPA/PARC სიუჟეტი გვიჩვენებს, თუ როგორ შეუძლია ხედვის, მოკრძალებული დაფინანსების, სწორი კონტექსტისა და პროცესის ერთობლიობამ ჯადოსნურად წარმოქმნას ახალი ტექნოლოგიები, რომლებიც არა მხოლოდ გავლენას ახდენს ცივილიზაციაზე, არამედ ქმნის უზარმაზარ ღირებულებას საზოგადოებისთვის.

ეს სიმართლეა. გადახედეთ PARC-ის გამოგონებების შთამბეჭდავ სიას, რომელთაგან ბევრმა ძალიან მნიშვნელოვანი როლი ითამაშა ჩვენი სამყაროს განვითარებაში. Მაგალითად:

• ლაზერული პრინტერები
• ობიექტზე ორიენტირებული პროგრამირება / Smalltalk
• პერსონალური კომპიუტერები
• Ethernet / განაწილებული გამოთვლები
• GUI / კომპიუტერის მაუსი / WYSIWYG

ხოლო ARPA შეიქმნა არპანეთი, რომელიც გახდა ინტერნეტის წინამორბედი.

PS ალან ქეი პასუხობს Hacker News საზოგადოების კითხვებს.

წყარო: www.habr.com