Барбара Ліськов і Правила, Які Тримають Програмне Забезпечення Разом
Barbara Liskov e as Regras Que Mantêm o Software Unido
Барбара Ліськов була піонером CLU та абстрактних типів даних, а потім сформулювала принцип підстановки Ліськов, правило, яке досі викладається на кожному курсі з інформатики.
Барбара Ліськов виросла із любов'ю до математики та головоломок.
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.
Барбара створила нову мову програмування під назвою CLU.
Barbara criou uma nova linguagem de programação chamada CLU.
CLU запровадила концепцію абстрактних типів даних.
CLU introduziu a ideia de tipos de dados abstratos.
Це означало, що програміст міг приховати заплутані деталі всередині фрагмента коду і показувати лише те, що потрібно бачити іншому коду.
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.
Барбара також створила системи під назвою Argus, щоб дослідити, як програмне забезпечення може продовжувати працювати навіть коли щось йде не так.
Barbara também construiu sistemas chamados Argus para explorar como o software poderia continuar funcionando mesmo quando as coisas dessem errado.
Багато років потому вона отримала премію Тюрінга, найвищу нагороду в галузі інформатики.
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.