Барбара Ліськов і Правила, Які Тримають Програмне Забезпечення Разом
Barbara Liskov en de Regels Die Software Samenhouden
Барбара Ліськов була піонером CLU та абстрактних типів даних, а потім сформулювала принцип підстановки Ліськов, правило, яке досі викладається на кожному курсі з інформатики.
Барбара Ліськов виросла із любов'ю до математики та головоломок.
Barbara Liskov groeide op met een liefde voor wiskunde en puzzels.
Коли вона вступила до університету, дуже мало жінок вивчали інформатику.
Toen ze naar de universiteit ging, studeerden maar heel weinig vrouwen informatica.
Барбара не дозволила цьому зупинити її.
Barbara liet dat haar niet tegenhouden.
Вона стала однією з перших жінок у США, яка здобула ступінь доктора наук з інформатики.
Ze werd een van de eerste vrouwen in de Verenigde Staten die een doctoraat in de informatica behaalde.
Після навчання вона помітила велику проблему в тому, як люди пишуть програмне забезпечення.
Na haar studie zag ze een groot probleem in de manier waarop mensen software schreven.
Кожен програміст використовував різні стилі, і ніхто не міг легко використовувати чужий код.
Elke programmeur gebruikte andere stijlen en niemand kon de code van een ander gemakkelijk gebruiken.
Барбара створила нову мову програмування під назвою CLU.
Barbara maakte een nieuwe programmeertaal genaamd CLU.
CLU запровадила концепцію абстрактних типів даних.
CLU introduceerde het idee van abstracte gegevenstypen.
Це означало, що програміст міг приховати заплутані деталі всередині фрагмента коду і показувати лише те, що потрібно бачити іншому коду.
Dit betekende dat een programmeur de rommelige details in een stuk code kon verbergen en alleen kon tonen wat andere code hoefde te zien.
Інші програмісти тепер могли безпечно використовувати цей фрагмент коду, не знаючи, як він працює зсередини.
Andere programmeurs konden dat stuk code nu veilig gebruiken, zonder te weten hoe het van binnen werkte.
Потім Барбара помітила ще одну проблему.
Toen merkte Barbara een ander probleem op.
Коли програмісти замінювали частину програми новішою версією, весь програма іноді ламалася.
Wanneer programmeurs een onderdeel van een programma vervingen door een nieuwere versie, brak het hele programma soms.
Вона написала чітке правило, щоб запобігти цьому.
Ze schreef een duidelijke regel om dit te voorkomen.
Її правило говорило: якщо ви замінюєте одну частину програми, нова частина повинна поводитися так само, як стара.
Haar regel luidde: als je een deel van een programma vervangt, moet het nieuwe deel zich op alle manieren gedragen zoals het oude deel.
Це правило стало відомим як принцип підстановки Ліськов.
Deze regel werd bekend als het Liskov-substitutieprincipe.
Він досі викладається на курсах з інформатики.
Het wordt vandaag de dag nog steeds onderwezen in informaticacursussen.
Барбара також створила системи під назвою Argus, щоб дослідити, як програмне забезпечення може продовжувати працювати навіть коли щось йде не так.
Barbara bouwde ook systemen genaamd Argus om te onderzoeken hoe software kon blijven draaien, zelfs als er iets misging.
Багато років потому вона отримала премію Тюрінга, найвищу нагороду в галузі інформатики.
Vele jaren later ontving ze de Turing Award, de hoogste prijs in de informatica.
Вона тихо посміхнулася, знаючи, що її справжньою нагородою є надійне програмне забезпечення, яким люди користуються щодня.
Ze glimlachte rustig, wetend dat haar echte beloning lag in de betrouwbare software die mensen elke dag gebruikten.
Мораль: Чіткі правила роблять складні речі надійними.
Moraal: Duidelijke regels maken complexe dingen betrouwbaar.