Barbara Liskov and the Rules That Hold Software Together

Barbara Liskov grew up loving mathematics and puzzles.

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

When she went to university, very few women studied computer science.

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

Barbara did not let that stop her.

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

She became one of the first women in the United States to earn a PhD in computer science.

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

After her studies, she saw a big problem in how people wrote software.

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

Every programmer used different styles, and no one could easily use another person's code.

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

Barbara created a new programming language called CLU.

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

CLU introduced the idea of abstract data types.

CLU wprowadził koncepcję abstrakcyjnych typów danych.

This meant that a programmer could hide the messy details inside a piece of code and show only what other code needed to see.

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

Other programmers could now use that piece of code safely, without knowing how it worked inside.

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

Then Barbara noticed another problem.

Potem Barbara dostrzegła kolejny problem.

When programmers replaced one part of a program with a newer version, the whole program sometimes broke.

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

She wrote a clear rule to prevent this.

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

Her rule said: if you replace one part of a program, the new part must behave in every way that the old part did.

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

This rule became known as the Liskov Substitution Principle.

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

It is still taught in computer science courses today.

Jest wciąż nauczana na kursach informatyki.

Barbara also built systems called Argus to explore how software could keep running even when things went wrong.

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

Many years later, she received the Turing Award, the highest prize in computer science.

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

She smiled quietly, knowing her real reward was in the reliable software that people used every day.

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

Moral: Clear rules make complex things trustworthy.

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