Barbara Liskov and the Rules That Hold Software Together

Barbara Liskov grew up loving mathematics and puzzles.

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

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

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

Barbara did not let that stop her.

Barbara liet dat haar niet tegenhouden.

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

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

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

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

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

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

Barbara created a new programming language called CLU.

Barbara maakte een nieuwe programmeertaal genaamd CLU.

CLU introduced the idea of abstract data types.

CLU introduceerde het idee van abstracte gegevenstypen.

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

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

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

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

Then Barbara noticed another problem.

Toen merkte Barbara een ander probleem op.

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

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

She wrote a clear rule to prevent this.

Ze schreef een duidelijke regel om dit te voorkomen.

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

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

This rule became known as the Liskov Substitution Principle.

Deze regel werd bekend als het Liskov-substitutieprincipe.

It is still taught in computer science courses today.

Het wordt vandaag de dag nog steeds onderwezen in informaticacursussen.

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

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

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

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

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

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

Moral: Clear rules make complex things trustworthy.

Moraal: Duidelijke regels maken complexe dingen betrouwbaar.