Barbara Liskov and the Rules That Hold Software Together

Barbara Liskov grew up loving mathematics and puzzles.

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

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

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

Barbara did not let that stop her.

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

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

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

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

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

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

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

Barbara created a new programming language called CLU.

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

CLU introduced the idea of abstract data types.

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

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

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

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

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

Then Barbara noticed another problem.

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

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

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

She wrote a clear rule to prevent this.

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

Her rule said: if you replace one part of a program, the new part must behave in every way that the old part did.

Її правило говорило: якщо ви замінюєте одну частину програми, нова частина повинна поводитися так само, як стара.

This rule became known as the Liskov Substitution Principle.

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

It is still taught in computer science courses today.

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

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

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

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

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

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

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

Moral: Clear rules make complex things trustworthy.

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