Barbara Liskov e le Regole Che Tengono Unito il Software

Barbara Liskov è cresciuta amando la matematica e i puzzle.

Barbara Liskov grew up loving mathematics and puzzles.

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

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

Barbara non si lasciò fermare da questo.

Barbara did not let that stop her.

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

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

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

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

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

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

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

Barbara created a new programming language called CLU.

CLU introdusse il concetto di tipi di dati astratti.

CLU introduced the idea of abstract data types.

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.

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

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

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

Poi Barbara notò un altro problema.

Then Barbara noticed another problem.

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

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

Scrisse una regola chiara per evitarlo.

She wrote a clear rule to prevent this.

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

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

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

This rule became known as the Liskov Substitution Principle.

Viene ancora insegnato nei corsi di informatica oggi.

It is still taught in computer science courses today.

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

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

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

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

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

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

Morale: Le regole chiare rendono le cose complesse affidabili.

Moral: Clear rules make complex things trustworthy.