Барбара Ліськов і Правила, Які Тримають Програмне Забезпечення Разом
Barbara Liskov e le Regole Che Tengono Unito il Software
Барбара Ліськов була піонером CLU та абстрактних типів даних, а потім сформулювала принцип підстановки Ліськов, правило, яке досі викладається на кожному курсі з інформатики.
Барбара Ліськов виросла із любов'ю до математики та головоломок.
Barbara Liskov è cresciuta amando la matematica e i puzzle.
Коли вона вступила до університету, дуже мало жінок вивчали інформатику.
Quando andò all'università, pochissime donne studiavano informatica.
Барбара не дозволила цьому зупинити її.
Barbara non si lasciò fermare da questo.
Вона стала однією з перших жінок у США, яка здобула ступінь доктора наук з інформатики.
È diventata una delle prime donne negli Stati Uniti a conseguire un dottorato in informatica.
Після навчання вона помітила велику проблему в тому, як люди пишуть програмне забезпечення.
Dopo i suoi studi, vide un grande problema nel modo in cui le persone scrivevano software.
Кожен програміст використовував різні стилі, і ніхто не міг легко використовувати чужий код.
Ogni programmatore usava stili diversi e nessuno poteva facilmente usare il codice di un'altra persona.
Барбара створила нову мову програмування під назвою CLU.
Barbara creò un nuovo linguaggio di programmazione chiamato CLU.
CLU запровадила концепцію абстрактних типів даних.
CLU introdusse il concetto di tipi di dati astratti.
Це означало, що програміст міг приховати заплутані деталі всередині фрагмента коду і показувати лише те, що потрібно бачити іншому коду.
Ciò significava che un programmatore poteva nascondere i dettagli disordinati all'interno di un pezzo di codice e mostrare solo ciò che il resto del codice doveva vedere.
Інші програмісти тепер могли безпечно використовувати цей фрагмент коду, не знаючи, як він працює зсередини.
Altri programmatori potevano ora usare quel pezzo di codice in modo sicuro, senza sapere come funzionava al suo interno.
Потім Барбара помітила ще одну проблему.
Poi Barbara notò un altro problema.
Коли програмісти замінювали частину програми новішою версією, весь програма іноді ламалася.
Quando i programmatori sostituivano una parte di un programma con una versione più recente, l'intero programma a volte si rompeva.
Вона написала чітке правило, щоб запобігти цьому.
Scrisse una regola chiara per evitarlo.
Її правило говорило: якщо ви замінюєте одну частину програми, нова частина повинна поводитися так само, як стара.
La sua regola diceva: se sostituisci una parte di un programma, la nuova parte deve comportarsi in ogni modo come si comportava quella vecchia.
Це правило стало відомим як принцип підстановки Ліськов.
Questa regola divenne nota come il Principio di Sostituzione di Liskov.
Він досі викладається на курсах з інформатики.
Viene ancora insegnato nei corsi di informatica oggi.
Барбара також створила системи під назвою Argus, щоб дослідити, як програмне забезпечення може продовжувати працювати навіть коли щось йде не так.
Barbara costruì anche sistemi chiamati Argus per esplorare come il software potesse continuare a funzionare anche quando le cose andavano storte.
Багато років потому вона отримала премію Тюрінга, найвищу нагороду в галузі інформатики.
Molti anni dopo, ricevette il Premio Turing, il massimo riconoscimento in informatica.
Вона тихо посміхнулася, знаючи, що її справжньою нагородою є надійне програмне забезпечення, яким люди користуються щодня.
Sorrise in silenzio, sapendo che la sua vera ricompensa era nel software affidabile che le persone usavano ogni giorno.
Мораль: Чіткі правила роблять складні речі надійними.
Morale: Le regole chiare rendono le cose complesse affidabili.