Barbara Liskov i Zasady Które Utrzymuja Oprogramowanie Razem

Barbara Liskov dorastała, kochając matematykę i łamigłówki.

Barbara Liskov groeide op met een liefde voor wiskunde en puzzels.

Kiedy poszła na uniwersytet, bardzo niewiele kobiet studiowało informatykę.

Toen ze naar de universiteit ging, studeerden maar heel weinig vrouwen informatica.

Barbara nie pozwoliła, by to ją powstrzymało.

Barbara liet dat haar niet tegenhouden.

Została jedną z pierwszych kobiet w Stanach Zjednoczonych, które uzyskały doktorat z informatyki.

Ze werd een van de eerste vrouwen in de Verenigde Staten die een doctoraat in de informatica behaalde.

Po studiach dostrzegła poważny problem w sposobie, w jaki ludzie pisali oprogramowanie.

Na haar studie zag ze een groot probleem in de manier waarop mensen software schreven.

Każdy programista używał innych stylów i nikt nie mógł łatwo używać kodu innej osoby.

Elke programmeur gebruikte andere stijlen en niemand kon de code van een ander gemakkelijk gebruiken.

Barbara stworzyła nowy język programowania o nazwie CLU.

Barbara maakte een nieuwe programmeertaal genaamd CLU.

CLU wprowadził koncepcję abstrakcyjnych typów danych.

CLU introduceerde het idee van abstracte gegevenstypen.

Oznaczało to, że programista mógł ukryć skomplikowane szczegóły wewnątrz fragmentu kodu i pokazywać tylko to, co inny kod musiał zobaczyć.

Dit betekende dat een programmeur de rommelige details in een stuk code kon verbergen en alleen kon tonen wat andere code hoefde te zien.

Inni programiści mogli teraz bezpiecznie używać tego fragmentu kodu, nie wiedząc, jak działał wewnątrz.

Andere programmeurs konden dat stuk code nu veilig gebruiken, zonder te weten hoe het van binnen werkte.

Potem Barbara dostrzegła kolejny problem.

Toen merkte Barbara een ander probleem op.

Kiedy programiści zastępowali część programu nowszą wersją, cały program czasem się psuł.

Wanneer programmeurs een onderdeel van een programma vervingen door een nieuwere versie, brak het hele programma soms.

Napisała jasną zasadę, aby temu zapobiec.

Ze schreef een duidelijke regel om dit te voorkomen.

Jej zasada brzmiała: jeśli zastępujesz część programu, nowa część musi zachowywać się tak samo jak stara.

Haar regel luidde: als je een deel van een programma vervangt, moet het nieuwe deel zich op alle manieren gedragen zoals het oude deel.

Zasada ta stała się znana jako zasada podstawienia Liskov.

Deze regel werd bekend als het Liskov-substitutieprincipe.

Jest wciąż nauczana na kursach informatyki.

Het wordt vandaag de dag nog steeds onderwezen in informaticacursussen.

Barbara zbudowała też systemy o nazwie Argus, aby zbadać, jak oprogramowanie może działać nawet gdy coś idzie nie tak.

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

Wiele lat później otrzymała Nagrodę Turinga, najważniejszą nagrodę w informatyce.

Vele jaren later ontving ze de Turing Award, de hoogste prijs in de informatica.

Uśmiechnęła się cicho, wiedząc, że jej prawdziwą nagrodą było niezawodne oprogramowanie, z którego ludzie korzystali każdego dnia.

Ze glimlachte rustig, wetend dat haar echte beloning lag in de betrouwbare software die mensen elke dag gebruikten.

Morał: Jasne zasady sprawiają, że złożone rzeczy stają się godne zaufania.

Moraal: Duidelijke regels maken complexe dingen betrouwbaar.