Barbara Liskov: Soyut Veri Tiplerinin Mucidi, Turing Ödüllü MIT'li

"Veri tipleri özettir"

Barbara Liskov (d. 1939, Los Angeles) — modern programlamanın kavramsal mimarlarından. Stanford'da ilk PhD'li kadın (1968), MIT profesörü, 2008 Turing Ödülü sahibi.

Tek cümle: nesne yönelimli programlamayı matematiksel sağlam temele oturtan kadın.

Yol

• UC Berkeley lisans (1961) — matematik.
• Stanford doktora (1968) — bilgisayar bilimi (ilk kadın doktoralı, John McCarthy mentörlüğünde).
• MITRE Corporation — sistemler.
• MIT profesörü (1972-) — yaklaşık 50 yıl.

CLU programlama dili (1974)

Doktora sonrası MIT'de:

• İlk dil soyut veri tiplerini destekleyen.
• Cluster (CLU): veri yapısı + operasyonları kapsülle.
• Polimorfizm, iteratörler, exception handling — sonradan tüm dillere geçti.

Java, Python, C# gibi modern dillerin ataları CLU.

Soyut Veri Tipleri (ADT)

Klasik makalesi: "Programming with Abstract Data Types" (1974).

Fikir: bir veri yapısının iç detayını sakla, arayüzünü sun. Modüler ve doğru kod.

Bugün her programlama dilinde class/struct olarak yaşıyor.

Liskov Substitution Principle (1987)

OOP'nin kalıtım kuralı:

Eğer S, T'nin alt tipiyse, T tipinde objeler S ile değiştirilebilir olmalı — programın doğruluğu bozulmamalı.

Pratik anlamı: bir sınıftan miras alıyorsan, temel sınıfın tüm sözleşmesini koruyacaksın.

SOLID prensiplerinin L'si. Modern yazılım mühendisliğinin temel kuralı.

Argus dili

CLU sonrası, dağıtık programlama dili Argus. Atomik işlemler, dağıtık veri. Spanner'ın felsefi atası.

Replikalı veri (Replicated state machine)

1980'lerde: dağıtık sistemler dayanıklılık araştırması:

• Paxos öncüsü teoriler.
• State machine replication: tüm node'ların aynı işlem sırasını uygulaması.

Modern blockchain'lerin felsefi temeli.

Turing Ödülü (2008)

"For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing."

Türk dili karşılığı: "Veri soyutlama, hata toleransı, dağıtık hesaplamaya teorik ve pratik katkılarından".

Ödülünü kazanan ilk Amerikalı kadın — 1966'dan 2008'e Turing kadın bekledi.

Mentörlüğü

Liskov'un öğrencileri:

• Sanjay Ghemawat (Google altyapı).
• Liuba Shrira (Brandeis).
• Carl Waldspurger (VMware).
• Bill Weihl (Akamai, Google).

Modern bulut altyapısının çoğu Liskov öğrencisi.

Tarz

• Akademik dikkat: her makale uzun düşünülmüş.
• Mütevazı: ödüller pasif olarak alınır.
• Eğitime adanmış: 50 yıl MIT.
• Feminist değil ama feminizm sembolü: kadınların CS'de yer alabileceğinin örneği.

Onurlar

• ACM Fellow (1996).
• NAE üyesi (1979).
• NAS üyesi (2004).
• John von Neumann Medal (2004).
• Turing Award (2008).
• IEEE Computer Pioneer Award (2018).

Türkçe için bağlam

• OOP öğretiminde Liskov Substitution Principle Türk üniversite derslerinin mecburi konusu.
• Bilgisayar mühendisliği bölümlerinde "L harfi" Liskov demek.
• ABET akreditasyonu programlarında SOLID prensipleri zorunlu.

Felsefe

Liskov'un tekrarladığı:

• "Abstraction is the heart of programming".
• "Specification before implementation".
• "Test the contract, not the code".

Modern yazılım mühendisliğinin sloganları.

Kadın bilim insanı vurgusu

• Stanford ilk kadın PhD'si (1968).
• 1972'de MIT'ye katılırken kadın profesör neredeyse yok.
• Bugün CS'de kadın akademisyenler Liskov'a borçlu.

Türk genç CS öğrencisi kadınlar için rol model.

Kapanış

Barbara Liskov, modern bilgisayar biliminin derin ama görünmez katmanını kurdu. Yazdığı her satır, Java sınıflarınızdan PhD tezlerinize kadar her yere uzanıyor. Sessiz devrim örneği.

Turing Ödülü almasından 40 yıl önce zaten kazanmıştı — bilim adamlığı ödülden önce gelir.