Barbara Liskov y las Reglas Que Mantienen Unido el Software

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

Barbara Liskov è cresciuta amando la matematica e i puzzle.

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

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

Barbara no dejó que eso la detuviera.

Barbara non si lasciò fermare da questo.

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

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

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

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

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

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

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

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

CLU introdujo la idea de los tipos de datos abstractos.

CLU introdusse il concetto di tipi di dati astratti.

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.

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.

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

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

Entonces Barbara notó otro problema.

Poi Barbara notò un altro problema.

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

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

Ella escribió una regla clara para evitar esto.

Scrisse una regola chiara per evitarlo.

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.

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

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

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

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

Viene ancora insegnato nei corsi di informatica oggi.

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

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

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

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

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

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

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

Morale: Le regole chiare rendono le cose complesse affidabili.