Barbara Liskov y las Reglas Que Mantienen Unido el Software

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

Barbara Liskov dorastała, kochając matematykę i łamigłówki.

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

Kiedy poszła na uniwersytet, bardzo niewiele kobiet studiowało informatykę.

Barbara no dejó que eso la detuviera.

Barbara nie pozwoliła, by to ją powstrzymało.

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

Została jedną z pierwszych kobiet w Stanach Zjednoczonych, które uzyskały doktorat z informatyki.

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

Po studiach dostrzegła poważny problem w sposobie, w jaki ludzie pisali oprogramowanie.

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

Każdy programista używał innych stylów i nikt nie mógł łatwo używać kodu innej osoby.

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

Barbara stworzyła nowy język programowania o nazwie CLU.

CLU introdujo la idea de los tipos de datos abstractos.

CLU wprowadził koncepcję abstrakcyjnych typów danych.

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.

Oznaczało to, że programista mógł ukryć skomplikowane szczegóły wewnątrz fragmentu kodu i pokazywać tylko to, co inny kod musiał zobaczyć.

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

Inni programiści mogli teraz bezpiecznie używać tego fragmentu kodu, nie wiedząc, jak działał wewnątrz.

Entonces Barbara notó otro problema.

Potem Barbara dostrzegła kolejny problem.

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

Kiedy programiści zastępowali część programu nowszą wersją, cały program czasem się psuł.

Ella escribió una regla clara para evitar esto.

Napisała jasną zasadę, aby temu zapobiec.

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.

Jej zasada brzmiała: jeśli zastępujesz część programu, nowa część musi zachowywać się tak samo jak stara.

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

Zasada ta stała się znana jako zasada podstawienia Liskov.

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

Jest wciąż nauczana na kursach informatyki.

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

Barbara zbudowała też systemy o nazwie Argus, aby zbadać, jak oprogramowanie może działać nawet gdy coś idzie nie tak.

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

Wiele lat później otrzymała Nagrodę Turinga, najważniejszą nagrodę w informatyce.

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

Uśmiechnęła się cicho, wiedząc, że jej prawdziwą nagrodą było niezawodne oprogramowanie, z którego ludzie korzystali każdego dnia.

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

Morał: Jasne zasady sprawiają, że złożone rzeczy stają się godne zaufania.