Barbara Liskov en de Regels Die Software Samenhouden

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

Barbara Liskov grew up loving mathematics and puzzles.

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

When she went to university, very few women studied computer science.

Barbara liet dat haar niet tegenhouden.

Barbara did not let that stop her.

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

She became one of the first women in the United States to earn a PhD in computer science.

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

After her studies, she saw a big problem in how people wrote software.

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

Every programmer used different styles, and no one could easily use another person's code.

Barbara maakte een nieuwe programmeertaal genaamd CLU.

Barbara created a new programming language called CLU.

CLU introduceerde het idee van abstracte gegevenstypen.

CLU introduced the idea of abstract data types.

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

This meant that a programmer could hide the messy details inside a piece of code and show only what other code needed to see.

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

Other programmers could now use that piece of code safely, without knowing how it worked inside.

Toen merkte Barbara een ander probleem op.

Then Barbara noticed another problem.

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

When programmers replaced one part of a program with a newer version, the whole program sometimes broke.

Ze schreef een duidelijke regel om dit te voorkomen.

She wrote a clear rule to prevent this.

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

Her rule said: if you replace one part of a program, the new part must behave in every way that the old part did.

Deze regel werd bekend als het Liskov-substitutieprincipe.

This rule became known as the Liskov Substitution Principle.

Het wordt vandaag de dag nog steeds onderwezen in informaticacursussen.

It is still taught in computer science courses today.

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

Barbara also built systems called Argus to explore how software could keep running even when things went wrong.

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

Many years later, she received the Turing Award, the highest prize in computer science.

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

She smiled quietly, knowing her real reward was in the reliable software that people used every day.

Moraal: Duidelijke regels maken complexe dingen betrouwbaar.

Moral: Clear rules make complex things trustworthy.