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

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

Barbara Liskov grew up loving mathematics and puzzles.

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

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

Barbara não deixou que isso a parasse.

Barbara did not let that stop her.

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

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

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

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

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

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

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

Barbara created a new programming language called CLU.

CLU introduziu a ideia de tipos de dados abstratos.

CLU introduced the idea of abstract data types.

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.

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

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

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

Então Barbara percebeu outro problema.

Then Barbara noticed another problem.

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

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

Ela escreveu uma regra clara para evitar isso.

She wrote a clear rule to prevent this.

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.

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 regra ficou conhecida como o Princípio de Substituição de Liskov.

This rule became known as the Liskov Substitution Principle.

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

It is still taught in computer science courses today.

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

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

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

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

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

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

Moral: Regras claras tornam coisas complexas confiáveis.

Moral: Clear rules make complex things trustworthy.