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

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

Барбара Ліськов виросла із любов'ю до математики та головоломок.

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

Коли вона вступила до університету, дуже мало жінок вивчали інформатику.

Barbara não deixou que isso a parasse.

Барбара не дозволила цьому зупинити її.

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

Вона стала однією з перших жінок у США, яка здобула ступінь доктора наук з інформатики.

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

Після навчання вона помітила велику проблему в тому, як люди пишуть програмне забезпечення.

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

Кожен програміст використовував різні стилі, і ніхто не міг легко використовувати чужий код.

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

Барбара створила нову мову програмування під назвою CLU.

CLU introduziu a ideia de tipos de dados abstratos.

CLU запровадила концепцію абстрактних типів даних.

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.

Це означало, що програміст міг приховати заплутані деталі всередині фрагмента коду і показувати лише те, що потрібно бачити іншому коду.

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

Інші програмісти тепер могли безпечно використовувати цей фрагмент коду, не знаючи, як він працює зсередини.

Então Barbara percebeu outro problema.

Потім Барбара помітила ще одну проблему.

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

Коли програмісти замінювали частину програми новішою версією, весь програма іноді ламалася.

Ela escreveu uma regra clara para evitar isso.

Вона написала чітке правило, щоб запобігти цьому.

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

Це правило стало відомим як принцип підстановки Ліськов.

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

Він досі викладається на курсах з інформатики.

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

Барбара також створила системи під назвою Argus, щоб дослідити, як програмне забезпечення може продовжувати працювати навіть коли щось йде не так.

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

Багато років потому вона отримала премію Тюрінга, найвищу нагороду в галузі інформатики.

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

Вона тихо посміхнулася, знаючи, що її справжньою нагородою є надійне програмне забезпечення, яким люди користуються щодня.

Moral: Regras claras tornam coisas complexas confiáveis.

Мораль: Чіткі правила роблять складні речі надійними.