Barbara Liskov y las Reglas Que Mantienen Unido el Software

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

Barbara Liskov grew up loving mathematics and puzzles.

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

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

Barbara no dejó que eso la detuviera.

Barbara did not let that stop her.

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

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

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

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

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

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

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

Barbara created a new programming language called CLU.

CLU introdujo la idea de los tipos de datos abstractos.

CLU introduced the idea of abstract data types.

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.

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

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

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

Entonces Barbara notó otro problema.

Then Barbara noticed another problem.

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

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

Ella escribió una regla clara para evitar esto.

She wrote a clear rule to prevent this.

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.

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

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

This rule became known as the Liskov Substitution Principle.

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

It is still taught in computer science courses today.

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

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

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

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

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

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

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

Moral: Clear rules make complex things trustworthy.