Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
10
Wprowadzenie
sięjerównieżprzyanaliziebiałekistrukturDNA.Cowięcej,fraktalesąwy-
korzystywanewnanotechnologiidoprojektowaniasamoorganizującychsię
nanoobwodów.Samoreplikującesięmaszynystanowiąkoncepcjęrekurencyj-
ną,ponieważgdyrozpocznądziałanie,reprodukująswojewłasnekopie,które
reprodukująkolejnekopieitakdalej.Samoreplikującesięmaszynyrozważa
sięwkontekściebadańprzestrzenikosmicznej.
Typyiabstrakcje
Przetwarzaniedokonujesiędziękiprzekształcaniureprezentacji.Jednaknie
każdeprzekształceniestosujesiędokażdejreprezentacji.Oilemożemymno-
żyćliczby,toniemożemymnożyćlinii.Podobnie-choćmożemyobliczyć
długośćodcinkalubpoleprostokąta,niematosensuwprzypadkuliczb.
Reprezentacjeiprzekształceniamogązostaćzaklasyfikowanedoróżnych
grup,byułatwićodróżnienietychprzekształceń,któredajesięwykonać,od
tych,któreniemająsensu.Grupytesąnazywanetypami,aregułyokreślające,
którekombinacjeprzekształceńireprezentacjisądozwolone,sąnazywane
regułamitypów.Typyiregułytypówwspierająprojektowaniealgorytmów.
Naprzykład,jeślichcemyobliczyćjakąśliczbę,powinniśmyużyćdziałania,
któredajeliczbę,ajeślichcemyprzekształcićlistęliczb,powinniśmyużyćdzia-
łania,którewcharakterzedanychwejściowychprzyjmujelistyliczb.
Wrozdziale14wyjaśniam,czymsątypyiwjakisposóbmożnaichużyć,
bysformułowaćregułyopisująceprawidłowościprzetwarzania.Regułytakiemogą
byćwykorzystanedoznalezieniabłędówwalgorytmach.Potęgatypówleży
wichzdolnościdopomijaniaszczegółówdotyczącychpojedynczychobiektów,
astąddoformułowaniaregułnaogólniejszympoziomie.Procespomijania
szczegółówjestnazywanyabstrakcją,którajestprzedmiotemrozdziału15,
gdziewyjaśniam,dlaczegoabstrakcjestanowiącentralnąkwestięwinformatyce
iwjakisposóbwiążąsięoneztypami,zalgorytmami,anawetzkomputerami
ijęzykami.
Wrozdziałach14i15mówięotym:
•czymsątypyiregułytypów,
•wjakisposóbmożnajezastosowaćdoopisuprawdotyczącychprzetwa-
rzania,którepomagająwykryćbłędywalgorytmachikonstruowaćich
niezawodnewersje,
•żetypyiregułytypówsąjedyniespecjalnymprzypadkiemogólniejszej
ideiabstrakcji,
•żealgorytmysąabstrakcjamiprzetwarzania,