Barbara Liskov e le Regole Che Tengono Unito il Software

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.

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

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

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

CLU introdusse il concetto di tipi di dati astratti.

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

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.

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

Barbara costruì anche sistemi chiamati Argus per esplorare come il software potesse continuare a funzionare anche quando le cose andavano storte.

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

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.

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