Барбара Ліськов і Правила, Які Тримають Програмне Забезпечення Разом
Barbara Liskov i Zasady Które Utrzymuja Oprogramowanie Razem
Барбара Ліськов була піонером CLU та абстрактних типів даних, а потім сформулювала принцип підстановки Ліськов, правило, яке досі викладається на кожному курсі з інформатики.
Барбара Ліськов виросла із любов'ю до математики та головоломок.
Barbara Liskov dorastała, kochając matematykę i łamigłówki.
Коли вона вступила до університету, дуже мало жінок вивчали інформатику.
Kiedy poszła na uniwersytet, bardzo niewiele kobiet studiowało informatykę.
Барбара не дозволила цьому зупинити її.
Barbara nie pozwoliła, by to ją powstrzymało.
Вона стала однією з перших жінок у США, яка здобула ступінь доктора наук з інформатики.
Została jedną z pierwszych kobiet w Stanach Zjednoczonych, które uzyskały doktorat z informatyki.
Після навчання вона помітила велику проблему в тому, як люди пишуть програмне забезпечення.
Po studiach dostrzegła poważny problem w sposobie, w jaki ludzie pisali oprogramowanie.
Кожен програміст використовував різні стилі, і ніхто не міг легко використовувати чужий код.
Każdy programista używał innych stylów i nikt nie mógł łatwo używać kodu innej osoby.
Барбара створила нову мову програмування під назвою CLU.
Barbara stworzyła nowy język programowania o nazwie CLU.
CLU запровадила концепцію абстрактних типів даних.
CLU wprowadził koncepcję abstrakcyjnych typów danych.
Це означало, що програміст міг приховати заплутані деталі всередині фрагмента коду і показувати лише те, що потрібно бачити іншому коду.
Oznaczało to, że programista mógł ukryć skomplikowane szczegóły wewnątrz fragmentu kodu i pokazywać tylko to, co inny kod musiał zobaczyć.
Інші програмісти тепер могли безпечно використовувати цей фрагмент коду, не знаючи, як він працює зсередини.
Inni programiści mogli teraz bezpiecznie używać tego fragmentu kodu, nie wiedząc, jak działał wewnątrz.
Потім Барбара помітила ще одну проблему.
Potem Barbara dostrzegła kolejny problem.
Коли програмісти замінювали частину програми новішою версією, весь програма іноді ламалася.
Kiedy programiści zastępowali część programu nowszą wersją, cały program czasem się psuł.
Вона написала чітке правило, щоб запобігти цьому.
Napisała jasną zasadę, aby temu zapobiec.
Її правило говорило: якщо ви замінюєте одну частину програми, нова частина повинна поводитися так само, як стара.
Jej zasada brzmiała: jeśli zastępujesz część programu, nowa część musi zachowywać się tak samo jak stara.
Це правило стало відомим як принцип підстановки Ліськов.
Zasada ta stała się znana jako zasada podstawienia Liskov.
Він досі викладається на курсах з інформатики.
Jest wciąż nauczana na kursach informatyki.
Барбара також створила системи під назвою Argus, щоб дослідити, як програмне забезпечення може продовжувати працювати навіть коли щось йде не так.
Barbara zbudowała też systemy o nazwie Argus, aby zbadać, jak oprogramowanie może działać nawet gdy coś idzie nie tak.
Багато років потому вона отримала премію Тюрінга, найвищу нагороду в галузі інформатики.
Wiele lat później otrzymała Nagrodę Turinga, najważniejszą nagrodę w informatyce.
Вона тихо посміхнулася, знаючи, що її справжньою нагородою є надійне програмне забезпечення, яким люди користуються щодня.
Uśmiechnęła się cicho, wiedząc, że jej prawdziwą nagrodą było niezawodne oprogramowanie, z którego ludzie korzystali każdego dnia.
Мораль: Чіткі правила роблять складні речі надійними.
Morał: Jasne zasady sprawiają, że złożone rzeczy stają się godne zaufania.