Барбара Ліськов і Правила, Які Тримають Програмне Забезпечення Разом
Barbara Liskov y las Reglas Que Mantienen Unido el Software
Барбара Ліськов була піонером CLU та абстрактних типів даних, а потім сформулювала принцип підстановки Ліськов, правило, яке досі викладається на кожному курсі з інформатики.
Барбара Ліськов виросла із любов'ю до математики та головоломок.
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.
Барбара створила нову мову програмування під назвою CLU.
Barbara creó un nuevo lenguaje de programación llamado CLU.
CLU запровадила концепцію абстрактних типів даних.
CLU introdujo la idea de los tipos de datos abstractos.
Це означало, що програміст міг приховати заплутані деталі всередині фрагмента коду і показувати лише те, що потрібно бачити іншому коду.
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.
Барбара також створила системи під назвою Argus, щоб дослідити, як програмне забезпечення може продовжувати працювати навіть коли щось йде не так.
Barbara también construyó sistemas llamados Argus para explorar cómo el software podía seguir funcionando aunque las cosas salieran mal.
Багато років потому вона отримала премію Тюрінга, найвищу нагороду в галузі інформатики.
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.