Barbara Liskov
Więcej informacji
- Data urodzenia
- Znana z
- zasady podstawienia Liskov, języka CLU, abstrakcyjnych typów danych
- Nagrody
- Nagroda Turinga 2008
- Narodowość
- amerykańska
Informatyczka, której prace nad abstrakcyjnymi typami danych leżą u podstaw praktycznie wszystkiego, co dziś nazywamy programowaniem obiektowym.
W latach 70. Liskov kierowała na MIT pracami nad językiem CLU. Wprowadził on iteratory, obsługę wyjątków i — co najważniejsze — abstrakcyjne typy danych: ideę, że typ definiuje się przez to, co można z nim zrobić, a nie przez sposób przechowywania. To hermetyzacja, zanim powstało to słowo.
Zasada podstawienia, sformułowana w 1994 roku z Jeannette Wing, mówi, że podtyp musi dać się użyć wszędzie tam, gdzie oczekiwany jest typ bazowy, bez zmiany poprawności programu. To litera L w SOLID i najczęściej łamana z całej piątki. Liskov była też jedną z pierwszych kobiet w Stanach Zjednoczonych z doktoratem z informatyki.