Barbara Liskov en de Regels Die Software Samenhouden
Barbara Liskov i Zasady Które Utrzymuja Oprogramowanie Razem
Barbara Liskov was een pionier met CLU en abstracte gegevenstypen en formuleerde het Liskov-substitutieprincipe, een regel die vandaag de dag nog in elke informaticacursus wordt onderwezen.
Barbara Liskov groeide op met een liefde voor wiskunde en puzzels.
Barbara Liskov dorastała, kochając matematykę i łamigłówki.
Toen ze naar de universiteit ging, studeerden maar heel weinig vrouwen informatica.
Kiedy poszła na uniwersytet, bardzo niewiele kobiet studiowało informatykę.
Barbara liet dat haar niet tegenhouden.
Barbara nie pozwoliła, by to ją powstrzymało.
Ze werd een van de eerste vrouwen in de Verenigde Staten die een doctoraat in de informatica behaalde.
Została jedną z pierwszych kobiet w Stanach Zjednoczonych, które uzyskały doktorat z informatyki.
Na haar studie zag ze een groot probleem in de manier waarop mensen software schreven.
Po studiach dostrzegła poważny problem w sposobie, w jaki ludzie pisali oprogramowanie.
Elke programmeur gebruikte andere stijlen en niemand kon de code van een ander gemakkelijk gebruiken.
Każdy programista używał innych stylów i nikt nie mógł łatwo używać kodu innej osoby.
Barbara maakte een nieuwe programmeertaal genaamd CLU.
Barbara stworzyła nowy język programowania o nazwie CLU.
CLU introduceerde het idee van abstracte gegevenstypen.
CLU wprowadził koncepcję abstrakcyjnych typów danych.
Dit betekende dat een programmeur de rommelige details in een stuk code kon verbergen en alleen kon tonen wat andere code hoefde te zien.
Oznaczało to, że programista mógł ukryć skomplikowane szczegóły wewnątrz fragmentu kodu i pokazywać tylko to, co inny kod musiał zobaczyć.
Andere programmeurs konden dat stuk code nu veilig gebruiken, zonder te weten hoe het van binnen werkte.
Inni programiści mogli teraz bezpiecznie używać tego fragmentu kodu, nie wiedząc, jak działał wewnątrz.
Toen merkte Barbara een ander probleem op.
Potem Barbara dostrzegła kolejny problem.
Wanneer programmeurs een onderdeel van een programma vervingen door een nieuwere versie, brak het hele programma soms.
Kiedy programiści zastępowali część programu nowszą wersją, cały program czasem się psuł.
Ze schreef een duidelijke regel om dit te voorkomen.
Napisała jasną zasadę, aby temu zapobiec.
Haar regel luidde: als je een deel van een programma vervangt, moet het nieuwe deel zich op alle manieren gedragen zoals het oude deel.
Jej zasada brzmiała: jeśli zastępujesz część programu, nowa część musi zachowywać się tak samo jak stara.
Deze regel werd bekend als het Liskov-substitutieprincipe.
Zasada ta stała się znana jako zasada podstawienia Liskov.
Het wordt vandaag de dag nog steeds onderwezen in informaticacursussen.
Jest wciąż nauczana na kursach informatyki.
Barbara bouwde ook systemen genaamd Argus om te onderzoeken hoe software kon blijven draaien, zelfs als er iets misging.
Barbara zbudowała też systemy o nazwie Argus, aby zbadać, jak oprogramowanie może działać nawet gdy coś idzie nie tak.
Vele jaren later ontving ze de Turing Award, de hoogste prijs in de informatica.
Wiele lat później otrzymała Nagrodę Turinga, najważniejszą nagrodę w informatyce.
Ze glimlachte rustig, wetend dat haar echte beloning lag in de betrouwbare software die mensen elke dag gebruikten.
Uśmiechnęła się cicho, wiedząc, że jej prawdziwą nagrodą było niezawodne oprogramowanie, z którego ludzie korzystali każdego dnia.
Moraal: Duidelijke regels maken complexe dingen betrouwbaar.
Morał: Jasne zasady sprawiają, że złożone rzeczy stają się godne zaufania.