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

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

Barbara Liskov dorastała, kochając matematykę i łamigłówki.

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

Kiedy poszła na uniwersytet, bardzo niewiele kobiet studiowało informatykę.

Barbara não deixou que isso a parasse.

Barbara nie pozwoliła, by to ją powstrzymało.

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

Została jedną z pierwszych kobiet w Stanach Zjednoczonych, które uzyskały doktorat z informatyki.

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

Po studiach dostrzegła poważny problem w sposobie, w jaki ludzie pisali oprogramowanie.

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

Każdy programista używał innych stylów i nikt nie mógł łatwo używać kodu innej osoby.

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

Barbara stworzyła nowy język programowania o nazwie CLU.

CLU introduziu a ideia de tipos de dados abstratos.

CLU wprowadził koncepcję abstrakcyjnych typów danych.

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.

Oznaczało to, że programista mógł ukryć skomplikowane szczegóły wewnątrz fragmentu kodu i pokazywać tylko to, co inny kod musiał zobaczyć.

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

Inni programiści mogli teraz bezpiecznie używać tego fragmentu kodu, nie wiedząc, jak działał wewnątrz.

Então Barbara percebeu outro problema.

Potem Barbara dostrzegła kolejny problem.

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

Kiedy programiści zastępowali część programu nowszą wersją, cały program czasem się psuł.

Ela escreveu uma regra clara para evitar isso.

Napisała jasną zasadę, aby temu zapobiec.

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.

Jej zasada brzmiała: jeśli zastępujesz część programu, nowa część musi zachowywać się tak samo jak stara.

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

Zasada ta stała się znana jako zasada podstawienia Liskov.

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

Jest wciąż nauczana na kursach informatyki.

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

Barbara zbudowała też systemy o nazwie Argus, aby zbadać, jak oprogramowanie może działać nawet gdy coś idzie nie tak.

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

Wiele lat później otrzymała Nagrodę Turinga, najważniejszą nagrodę w informatyce.

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

Uśmiechnęła się cicho, wiedząc, że jej prawdziwą nagrodą było niezawodne oprogramowanie, z którego ludzie korzystali każdego dnia.

Moral: Regras claras tornam coisas complexas confiáveis.

Morał: Jasne zasady sprawiają, że złożone rzeczy stają się godne zaufania.