Barbara Liskov e le Regole Che Tengono Unito il Software

Barbara Liskov è cresciuta amando la matematica e i puzzle.

Barbara Liskov creció amando las matemáticas y los acertijos.

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

Cuando fue a la universidad, muy pocas mujeres estudiaban informática.

Barbara non si lasciò fermare da questo.

Barbara no dejó que eso la detuviera.

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

Se convirtió en una de las primeras mujeres en Estados Unidos en obtener un doctorado en informática.

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

Después de sus estudios, vio un gran problema en la forma en que la gente escribía software.

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

Cada programador usaba estilos diferentes y nadie podía usar fácilmente el código de otra persona.

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

Barbara creó un nuevo lenguaje de programación llamado CLU.

CLU introdusse il concetto di tipi di dati astratti.

CLU introdujo la idea de los tipos de datos abstractos.

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.

Esto significaba que un programador podía ocultar los detalles complicados dentro de un fragmento de código y mostrar solo lo que otro código necesitaba ver.

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

Otros programadores podían ahora usar ese fragmento de código de forma segura, sin saber cómo funcionaba por dentro.

Poi Barbara notò un altro problema.

Entonces Barbara notó otro problema.

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

Cuando los programadores reemplazaban una parte de un programa por una versión más nueva, el programa completo a veces se rompía.

Scrisse una regola chiara per evitarlo.

Ella escribió una regla clara para evitar esto.

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

Su regla decía: si reemplazas una parte de un programa, la nueva parte debe comportarse en todos los sentidos como lo hacía la parte anterior.

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

Esta regla se conoció como el Principio de Sustitución de Liskov.

Viene ancora insegnato nei corsi di informatica oggi.

Todavía se enseña en los cursos de informática hoy en día.

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

Barbara también construyó sistemas llamados Argus para explorar cómo el software podía seguir funcionando aunque las cosas salieran mal.

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

Muchos años después, recibió el Premio Turing, el mayor galardón en informática.

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

Sonrió tranquilamente, sabiendo que su verdadera recompensa estaba en el software confiable que la gente usaba todos los días.

Morale: Le regole chiare rendono le cose complesse affidabili.

Moraleja: Las reglas claras hacen que las cosas complejas sean confiables.