Barbara Liskov en de Regels Die Software Samenhouden

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

Barbara Liskov creció amando las matemáticas y los acertijos.

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

Cuando fue a la universidad, muy pocas mujeres estudiaban informática.

Barbara liet dat haar niet tegenhouden.

Barbara no dejó que eso la detuviera.

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

Se convirtió en una de las primeras mujeres en Estados Unidos en obtener un doctorado en informática.

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

Después de sus estudios, vio un gran problema en la forma en que la gente escribía software.

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

Cada programador usaba estilos diferentes y nadie podía usar fácilmente el código de otra persona.

Barbara maakte een nieuwe programmeertaal genaamd CLU.

Barbara creó un nuevo lenguaje de programación llamado CLU.

CLU introduceerde het idee van abstracte gegevenstypen.

CLU introdujo la idea de los tipos de datos abstractos.

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

Esto significaba que un programador podía ocultar los detalles complicados dentro de un fragmento de código y mostrar solo lo que otro código necesitaba ver.

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

Otros programadores podían ahora usar ese fragmento de código de forma segura, sin saber cómo funcionaba por dentro.

Toen merkte Barbara een ander probleem op.

Entonces Barbara notó otro problema.

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

Cuando los programadores reemplazaban una parte de un programa por una versión más nueva, el programa completo a veces se rompía.

Ze schreef een duidelijke regel om dit te voorkomen.

Ella escribió una regla clara para evitar esto.

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

Su regla decía: si reemplazas una parte de un programa, la nueva parte debe comportarse en todos los sentidos como lo hacía la parte anterior.

Deze regel werd bekend als het Liskov-substitutieprincipe.

Esta regla se conoció como el Principio de Sustitución de Liskov.

Het wordt vandaag de dag nog steeds onderwezen in informaticacursussen.

Todavía se enseña en los cursos de informática hoy en día.

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

Barbara también construyó sistemas llamados Argus para explorar cómo el software podía seguir funcionando aunque las cosas salieran mal.

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

Muchos años después, recibió el Premio Turing, el mayor galardón en informática.

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

Sonrió tranquilamente, sabiendo que su verdadera recompensa estaba en el software confiable que la gente usaba todos los días.

Moraal: Duidelijke regels maken complexe dingen betrouwbaar.

Moraleja: Las reglas claras hacen que las cosas complejas sean confiables.