Barbara Liskov e as Regras Que Mantêm o Software Unido

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

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

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

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

Barbara não deixou que isso a parasse.

Barbara no dejó que eso la detuviera.

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

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

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

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

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

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

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

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

CLU introduziu a ideia de tipos de dados abstratos.

CLU introdujo la idea de los tipos de datos abstractos.

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.

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.

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

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

Então Barbara percebeu outro problema.

Entonces Barbara notó otro problema.

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

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

Ela escreveu uma regra clara para evitar isso.

Ella escribió una regla clara para evitar esto.

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.

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.

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

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

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

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

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

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

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

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

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

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

Moral: Regras claras tornam coisas complexas confiáveis.

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