Barbara Liskov en de Regels Die Software Samenhouden

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.

Кожен програміст використовував різні стилі, і ніхто не міг легко використовувати чужий код.

Barbara maakte een nieuwe programmeertaal genaamd CLU.

Барбара створила нову мову програмування під назвою CLU.

CLU introduceerde het idee van abstracte gegevenstypen.

CLU запровадила концепцію абстрактних типів даних.

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.

Він досі викладається на курсах з інформатики.

Barbara bouwde ook systemen genaamd Argus om te onderzoeken hoe software kon blijven draaien, zelfs als er iets misging.

Барбара також створила системи під назвою Argus, щоб дослідити, як програмне забезпечення може продовжувати працювати навіть коли щось йде не так.

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.

Мораль: Чіткі правила роблять складні речі надійними.