Барбара Ліськов і Правила, Які Тримають Програмне Забезпечення Разом
Barbara Liskov and the Rules That Hold Software Together
Барбара Ліськов була піонером CLU та абстрактних типів даних, а потім сформулювала принцип підстановки Ліськов, правило, яке досі викладається на кожному курсі з інформатики.
Барбара Ліськов виросла із любов'ю до математики та головоломок.
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.
Барбара створила нову мову програмування під назвою CLU.
Barbara created a new programming language called CLU.
CLU запровадила концепцію абстрактних типів даних.
CLU introduced the idea of abstract data types.
Це означало, що програміст міг приховати заплутані деталі всередині фрагмента коду і показувати лише те, що потрібно бачити іншому коду.
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.
Барбара також створила системи під назвою Argus, щоб дослідити, як програмне забезпечення може продовжувати працювати навіть коли щось йде не так.
Barbara also built systems called Argus to explore how software could keep running even when things went wrong.
Багато років потому вона отримала премію Тюрінга, найвищу нагороду в галузі інформатики.
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.