Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Wprowadzenie
11
•żetypysąabstrakcjamireprezentacji,
•żezłożonośćczasowajestabstrakcjączasuwykonania.
Dlaczegotojestważne?
Jeśliprzepiswymagaotworzeniapuszkifasoli,bylibyśmyzaskoczeni,gdyby
ktośzabrałsięzatozadaniezapomocąłyżki,ponieważłamałobytoregułę
typu,któragłosi,żełyżkiniesąodpowiedniedowykonaniategozadania.
Wykorzystanietypówiinnychabstrakcjidoopisuregułiprocesówjest
powszechne.Dowolnaprocedura,któramusizostaćpowtórzona,podsuwa
algorytmicznąabstrakcję,toznaczyopis,którypomijazbędnedetaleizastę-
pujezmiennefragmentyparametrami.Przepisyrównieżzawierająalgoryt-
miczneabstrakcje.Wieleksiążekkucharskichzawieranaprzykładrozdział
opisującypodstawowetechniki,takiejakobieranielubusuwanienasionpomi-
dorów,doktórychmożnasięnastępnieodnieść,gdyjakiśprzepisbędziewy-
magaćokreślonejilościobranychipozbawionychnasionpomidorów.Cowię-
cej,podsumowaniefunkcjiróżnychobiektówbiorącychudziałwtakiejabs-
trakcjijestzawartewtypach,którecharakteryzująichwymogi.
Wdziedzinietechnikiistniejewieleprzykładówtypówiabstrakcji.Przykła-
damifizycznychtypówsąwszelkiegorodzajuróżnokształtnewtyczkiigniazda,
śrubyiśrubokręty,atakżewiertła,zamkiiklucze.Różnekształtymająnacelu
zapobieżenieniewłaściwymkombinacjom.Przykładytypówzdziedzinyopro-
gramowaniamożnaznaleźćwformularzachinternetowych,którewymagają
wprowadzenianumerutelefonulubadresue-mailwokreślonymformacie.
Istniejewieleprzykładówkosztownychbłędówspowodowanychprzezzignorowa-
nietypów.Naprzykładw1998rokuNASAstraciławartą655milionówdolarów
sondęMarsClimateOrbiterzpowoduniekompatybilnychreprezentacjiliczb.
Byłtobłądtypu,któremumożnabyłozapobiecprzyużyciusystemutypów.
Samopojęciekomputerastanowiwreszcieabstrakcyjneujęcieludzi,maszyn
iinnychpodmiotówzdolnychdowykonywaniaalgorytmów.
Jakczytaćtęksiążkę?
Narysunku2przedstawionoogólnyzaryspojęćomawianychwtejksiążceoraz
sposób,wjakisąonezesobązwiązane.Rozdziały7,11i13(ciemniejszepola
narys.2)zawierająwięcejtreścitechnicznych.Rozdziałytemożnapominąć
iichznajomośćniejestkonieczna,byzrozumiećresztęksiążki.
Choćtreśćtejksiążkijestuporządkowanawokreślonysposób,nietrzeba
jejczytaćwłaśniewtejkolejności.Wielerozdziałówmożnaczytaćniezależnie
