Kod KâşifiMERAK ET. DENE. KEŞFET.Bir şey öğren

Barbara Liskov: büyük program küçük sözler tutar

Büyük bir yazılım, içini bilmediğin parçalardan kurulabilir. Barbara Liskov, bu parçaların ne söz verdiğini açık tutmanın programı güvenilir kıldığını gösterdi.

İçi kapalı kutular, kapaklarındaki üç sözle üst üste kuruluyor.
Parça ne söz verdiğini tutarsa, içini ezberlemeden kullanılabilir. Kod Kâşifi için üretilen yapay zekâ illüstrasyonu.

Erken bir doktora

Barbara Liskov, 1939’da Amerika’da doğdu. 1968’de Stanford’da bilgisayar biliminden doktora aldı. ABD’de bu alanda doktora alan ilk kadınlardandır. Sonra MIT’de çalıştı. 2008’de Turing Ödülü’nü aldı. Bu ödül, bilgisayar alanında en yüksek saygı göstergelerinden biridir.

Soyut veri türü

Liskov, CLU adlı bir dil üzerinde çalışırken soyut veri türlerini öne çıkardı. Bir listenin içinde dizinin nasıl durduğunu herkes bilmek zorunda değildir. Listenin sözü bellidir: ekle, sil, uzunluğu söyle. İçini değiştirsen de söz aynı kalıyorsa, dışarıdaki program bozulmaz. Buna benzer bir ilke sonradan onun adıyla anıldı: bir parçanın yerine daha özel bir parça koyduğunda, verilen söz bozulmamalıdır.

Söz tutmak test etmeyi kolaylaştırır

Parça ne yapacağını söylüyorsa, onu yalnız o sözle sınarsın. İçini ezberlemen gerekmez. Kâşif sorusu: kullandığın bir kutunun kapağında yazan ile içinden çıkan aynı mı?

Mini görev: bir kutu sözleşmesi

“Sayı kutusu” diye bir nesne tasarla. Dışarıya üç söz ver: koy, al, kaç tane var. İçini dizi mi yoksa çizgi mi tuttuğunu yazma. Bir arkadaşın yalnız bu üç sözle kutuyu kullansın. Sözlerden birini bozarsan ne şikâyet eder, yaz.

KEŞFE DEVAM

Bir sonraki merakın ne?

4 dk okumaYeni keşif

Dennis Ritchie: C dili makineye yakın durur

Birçok işletim sistemi, oyun motoru ve başka dillerin kendisi C ile yazıldı. Dennis Ritchie bu dili, makinenin diline yakın ama insanın da okuyabildiği bir yerde tuttu.

Yazıyı oku
4 dk okumaYeni keşif

Ken Thompson: Unix neden küçük kaldı?

Ken Thompson, büyük bir sistemi az sayıda net parçadan kurmayı seçti. Unix bu tercihin en bilinen sonucudur. Küçük araçlar, birbirine boruyla bağlanınca güçlü bir tezgâh olur.

Yazıyı oku
4 dk okumaYeni keşif

Frances Allen: derleyici kodu hızlandırır

İnsanların yazdığı program, makinenin doğrudan koştuğu talimat değildir. Arada bir çevirmen vardır. Frances Allen, bu çevirinin hem doğru hem de hızlı olabileceğini gösterdi.

Yazıyı oku