Barbara Liskov and the Rules That Hold Software Together

Barbara Liskov grew up loving mathematics and puzzles.

Barbara Liskov è cresciuta amando la matematica e i puzzle.

When she went to university, very few women studied computer science.

Quando andò all'università, pochissime donne studiavano informatica.

Barbara did not let that stop her.

Barbara non si lasciò fermare da questo.

She became one of the first women in the United States to earn a PhD in computer science.

È diventata una delle prime donne negli Stati Uniti a conseguire un dottorato in informatica.

After her studies, she saw a big problem in how people wrote software.

Dopo i suoi studi, vide un grande problema nel modo in cui le persone scrivevano software.

Every programmer used different styles, and no one could easily use another person's code.

Ogni programmatore usava stili diversi e nessuno poteva facilmente usare il codice di un'altra persona.

Barbara created a new programming language called CLU.

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

CLU introduced the idea of abstract data types.

CLU introdusse il concetto di tipi di dati astratti.

This meant that a programmer could hide the messy details inside a piece of code and show only what other code needed to see.

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.

Other programmers could now use that piece of code safely, without knowing how it worked inside.

Altri programmatori potevano ora usare quel pezzo di codice in modo sicuro, senza sapere come funzionava al suo interno.

Then Barbara noticed another problem.

Poi Barbara notò un altro problema.

When programmers replaced one part of a program with a newer version, the whole program sometimes broke.

Quando i programmatori sostituivano una parte di un programma con una versione più recente, l'intero programma a volte si rompeva.

She wrote a clear rule to prevent this.

Scrisse una regola chiara per evitarlo.

Her rule said: if you replace one part of a program, the new part must behave in every way that the old part did.

La sua regola diceva: se sostituisci una parte di un programma, la nuova parte deve comportarsi in ogni modo come si comportava quella vecchia.

This rule became known as the Liskov Substitution Principle.

Questa regola divenne nota come il Principio di Sostituzione di Liskov.

It is still taught in computer science courses today.

Viene ancora insegnato nei corsi di informatica oggi.

Barbara also built systems called Argus to explore how software could keep running even when things went wrong.

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

Many years later, she received the Turing Award, the highest prize in computer science.

Molti anni dopo, ricevette il Premio Turing, il massimo riconoscimento in informatica.

She smiled quietly, knowing her real reward was in the reliable software that people used every day.

Sorrise in silenzio, sapendo che la sua vera ricompensa era nel software affidabile che le persone usavano ogni giorno.

Moral: Clear rules make complex things trustworthy.

Morale: Le regole chiare rendono le cose complesse affidabili.