Барбара Ліськов і Правила, Які Тримають Програмне Забезпечення Разом
Barbara Liskov et les Règles Qui Maintiennent les Logiciels Ensemble
Барбара Ліськов була піонером CLU та абстрактних типів даних, а потім сформулювала принцип підстановки Ліськов, правило, яке досі викладається на кожному курсі з інформатики.
Барбара Ліськов виросла із любов'ю до математики та головоломок.
Barbara Liskov a grandi en aimant les mathématiques et les puzzles.
Коли вона вступила до університету, дуже мало жінок вивчали інформатику.
Quand elle est allée à l'université, très peu de femmes étudiaient l'informatique.
Барбара не дозволила цьому зупинити її.
Barbara ne se laissa pas arrêter par cela.
Вона стала однією з перших жінок у США, яка здобула ступінь доктора наук з інформатики.
Elle est devenue l'une des premières femmes aux États-Unis à obtenir un doctorat en informatique.
Після навчання вона помітила велику проблему в тому, як люди пишуть програмне забезпечення.
Après ses études, elle vit un gros problème dans la façon dont les gens écrivaient des logiciels.
Кожен програміст використовував різні стилі, і ніхто не міг легко використовувати чужий код.
Chaque programmeur utilisait des styles différents et personne ne pouvait facilement utiliser le code d'une autre personne.
Барбара створила нову мову програмування під назвою CLU.
Barbara créa un nouveau langage de programmation appelé CLU.
CLU запровадила концепцію абстрактних типів даних.
CLU a introduit le concept des types de données abstraits.
Це означало, що програміст міг приховати заплутані деталі всередині фрагмента коду і показувати лише те, що потрібно бачити іншому коду.
Cela signifiait qu'un programmeur pouvait cacher les détails complexes dans un morceau de code et ne montrer que ce que le reste du code avait besoin de voir.
Інші програмісти тепер могли безпечно використовувати цей фрагмент коду, не знаючи, як він працює зсередини.
D'autres programmeurs pouvaient désormais utiliser ce morceau de code en toute sécurité, sans savoir comment il fonctionnait à l'intérieur.
Потім Барбара помітила ще одну проблему.
Barbara remarqua ensuite un autre problème.
Коли програмісти замінювали частину програми новішою версією, весь програма іноді ламалася.
Quand les programmeurs remplaçaient une partie d'un programme par une version plus récente, tout le programme se cassait parfois.
Вона написала чітке правило, щоб запобігти цьому.
Elle écrivit une règle claire pour éviter cela.
Її правило говорило: якщо ви замінюєте одну частину програми, нова частина повинна поводитися так само, як стара.
Sa règle stipulait : si vous remplacez une partie d'un programme, la nouvelle partie doit se comporter en tout point comme l'ancienne.
Це правило стало відомим як принцип підстановки Ліськов.
Cette règle est devenue connue sous le nom de principe de substitution de Liskov.
Він досі викладається на курсах з інформатики.
Il est encore enseigné dans les cours d'informatique aujourd'hui.
Барбара також створила системи під назвою Argus, щоб дослідити, як програмне забезпечення може продовжувати працювати навіть коли щось йде не так.
Barbara a aussi créé des systèmes appelés Argus pour explorer comment les logiciels pouvaient continuer à fonctionner même quand les choses tournaient mal.
Багато років потому вона отримала премію Тюрінга, найвищу нагороду в галузі інформатики.
De nombreuses années plus tard, elle reçut le prix Turing, la plus haute récompense en informatique.
Вона тихо посміхнулася, знаючи, що її справжньою нагородою є надійне програмне забезпечення, яким люди користуються щодня.
Elle sourit doucement, sachant que sa vraie récompense était dans le logiciel fiable que les gens utilisaient chaque jour.
Мораль: Чіткі правила роблять складні речі надійними.
Morale : Des règles claires rendent les choses complexes dignes de confiance.