Barbara Liskov y las Reglas Que Mantienen Unido el Software

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

Barbara Liskov cresceu amando matemática e quebra-cabeças.

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

Quando foi para a universidade, muito poucas mulheres estudavam ciência da computação.

Barbara no dejó que eso la detuviera.

Barbara não deixou que isso a parasse.

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

Ela se tornou uma das primeiras mulheres nos Estados Unidos a obter um doutorado em ciência da computação.

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

Após seus estudos, ela viu um grande problema na forma como as pessoas escreviam software.

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

Cada programador usava estilos diferentes e ninguém conseguia usar facilmente o código de outra pessoa.

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

Barbara criou uma nova linguagem de programação chamada CLU.

CLU introdujo la idea de los tipos de datos abstractos.

CLU introduziu a ideia de tipos de dados abstratos.

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.

Isso significava que um programador poderia ocultar os detalhes confusos dentro de um trecho de código e mostrar apenas o que outro código precisava ver.

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

Outros programadores podiam agora usar aquele trecho de código com segurança, sem saber como funcionava por dentro.

Entonces Barbara notó otro problema.

Então Barbara percebeu outro problema.

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

Quando os programadores substituíam uma parte de um programa por uma versão mais nova, o programa inteiro às vezes quebrava.

Ella escribió una regla clara para evitar esto.

Ela escreveu uma regra clara para evitar isso.

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.

Sua regra dizia: se você substituir uma parte de um programa, a nova parte deve se comportar em todos os aspectos como a parte antiga fazia.

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

Esta regra ficou conhecida como o Princípio de Substituição de Liskov.

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

Ainda é ensinado em cursos de ciência da computação hoje.

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

Barbara também construiu sistemas chamados Argus para explorar como o software poderia continuar funcionando mesmo quando as coisas dessem errado.

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

Muitos anos depois, ela recebeu o Prêmio Turing, o maior prêmio em ciência da computação.

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

Ela sorriu quietamente, sabendo que sua verdadeira recompensa estava no software confiável que as pessoas usavam todos os dias.

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

Moral: Regras claras tornam coisas complexas confiáveis.