Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rozdział2.Myśleniefunkcyjnedlaimperatywnegoumysłu•8
ataniejest:
privateintcounter=0;
publicvoidincrementMutableCounter(){
counter++;
}
Pierwszedwaprzykładyzwiększająlicznik,zwracającnowąwartośćcałkowitą,
którajestojedenwiększaodprzekazanejliczbycałkowitej.Trzeciprzykład
robitosamo,alezmieniastan,którymożebyćwspólnydlawielufragmentów
programu.
Definicja–funkcjatakajakincrementCounter,któraniejestopartanazmianie
stanu,jestnazywanafunkcjączystą.Atajejczystośćdajewielekorzyści.Jeśli
naprzykładmamyfunkcjęczystą,którawykonujejakieśkosztowneoblicze-
nia,możemyzoptymalizowaćnaszprogram,wywołująctęfunkcjętylkoraz
iprzechwytującwynik–czylistosująctechnikęzwanąmemoizacją.
Czystefunkcjeułatwiająteżanalizęprogramów.Programobiektowytograf
obiektów,gdziekażdymawielemutowalnychstanów.Modyfikacjastanujed-
negozobiektówmożeprowadzićdomodyfikacjistanuinnego,którymożesię
znajdowaćwgrafiewodległościwieluwęzłów.Wprogramie,którymatylko
czystefunkcje,takiedziałanienaodległośćjestniemożliwe.
Tojestuproszczonyopisprogramowaniafunkcyjnego.
Chodzioniemutowalność
Niestety,pełnaczystośćniemasięnajlepiejwświecierzeczywistym.Czyste
funkcjemogądobrzemodelowaćpewnedziedziny,aledoinnychniepasują.
Kompilatorytoczystefunkcje.WyszukiwaniewGoogleniejestczyste.
Praktycznejęzykiprogramowaniafunkcyjnegokładąnacisknaniemutowalność
iczystośćfunkcyjną,alemusząmiećteżmożliwośćmodelowaniazmieniającego
sięświata,któryniezapewniapełnejczystościfunkcji.WjęzykuHaskell,któ-
ryjestzapewnenajbardziejścisłymjęzykiemfunkcyjnym,możnamodelować
zmiany,wykorzystującmonady,zachowującprzytymścisłączystość.
Innejęzykifunkcyjnemająinnetechnikiminimalizowaniaikontrolizmiany
stanu,któreniesątakścisłejaktezHaskela.Clojurenaprzykładużywa
systemuprogramowejpamięcitransakcyjnejwpołączeniuzezbioremtypów
referencyjnychorazbardzosprytnychniemutowalnychstrukturdanych,aby
utrzymaćwysokipoziomczystości,ajedocześniepozwolićprogramistomna
radzeniesobiewzmieniającymsięświecie.
