Értékelés:
Abadi és Cardelli „The The Theory of Object-Oriented Typing” című könyve az objektumorientált nyelvek formális elemzését nyújtja fejlett matematikai eszközökkel. Egyedülálló jelölést vezet be az objektumpéldányok és kapcsolataik tárgyalására, amely elsősorban az elméleti vitákban alkalmazható. Bár értékes betekintést nyújt az OO alapjaiba és a típusrendszerekbe, a haladó koncepciókra való összpontosítása miatt kevésbé alkalmas a kezdő programozók számára.
Előnyök:⬤ Az objektumorientált tipizálás alapos elemzése
⬤ egyedülálló jelölést vezet be
⬤ értékes a kovariancia és kontravariancia megértéséhez
⬤ releváns a kutatók és a haladó gyakorlók számára
⬤ hozzájárul a programozási nyelvek alapjainak elméleti vitáihoz.
⬤ Erősen absztrakt és elméleti tartalom
⬤ nem alkalmas kezdő OO-programozók számára
⬤ olyan haladó témákra összpontosít, amelyek nem feltétlenül alkalmazhatók közvetlenül a kereskedelmi OO-nyelvekre, mint a Java vagy a C++
⬤ egyes olvasók számára irreleváns lehet a statikus rendszerekkel végzett jelenlegi munkájuk szempontjából.
(2 olvasói vélemény alapján)
A Theory of Objects
Az objektumkalkulusok kidolgozásával, amelyekben az objektumokat primitívként kezelik, a szerzők képesek elmagyarázni mind az objektumok szemantikáját, mind a tipizálási szabályokat, és azt is bemutatják, hogyan lehet az objektumorientált programozási nyelvek összes legfontosabb fogalmát kifejleszteni: self, dinamikus diszpozíció, osztályok, öröklés, védett és privát metódusok, prototipizálás, altipizálás, kovariancia és kontravariancia, valamint metódus specializáció.
A téma innovatív és fontos megközelítése kutatók és diplomások számára.