Barbara Liskov y las Reglas Que Mantienen Unido el Software

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

Барбара Ліськов виросла із любов'ю до математики та головоломок.

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

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

Barbara no dejó que eso la detuviera.

Барбара не дозволила цьому зупинити її.

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

Вона стала однією з перших жінок у США, яка здобула ступінь доктора наук з інформатики.

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

Після навчання вона помітила велику проблему в тому, як люди пишуть програмне забезпечення.

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

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

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

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

CLU introdujo la idea de los tipos de datos abstractos.

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

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.

Це означало, що програміст міг приховати заплутані деталі всередині фрагмента коду і показувати лише те, що потрібно бачити іншому коду.

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

Інші програмісти тепер могли безпечно використовувати цей фрагмент коду, не знаючи, як він працює зсередини.

Entonces Barbara notó otro 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.

Коли програмісти замінювали частину програми новішою версією, весь програма іноді ламалася.

Ella escribió una regla clara para evitar esto.

Вона написала чітке правило, щоб запобігти цьому.

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.

Її правило говорило: якщо ви замінюєте одну частину програми, нова частина повинна поводитися так само, як стара.

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

Це правило стало відомим як принцип підстановки Ліськов.

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

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

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

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

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

Багато років потому вона отримала премію Тюрінга, найвищу нагороду в галузі інформатики.

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

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

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

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