Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Wprowadzenie
Monadajesttylkomonoidemwkategoriiendofunktorów.
Czyniestraciłemwłaśnieczytelników?Niemartwciesię,jateżbyłbymzagu-
biony!Wszystkieteterminy,któreznaczącośtylkodlaosóbwprowadzonych
wprogramowaniefunkcyjne(FP),mogąbrzmiećjakbełkotdlapozostałychosób.
Ztejksiążkiniedowieciesię,cotesłowaznaczą.Jeśliktośtegoszuka,niech
szukadalej.Wistociejestwieleksiążek,któreodrazuucząnasFP
,odpoczątku
dokońca.Tesłowamająistotneznaczenieiprzyformalnejszczegółowejnauce
FP
,każdyzpewnościąjepozna.
Aletaksiążkacałkieminaczejpodchodzidotematu.Zaprezentujętunajbardziej
podstawowepojęciaFPodpoczątkudokońca,zmniejsząliczbąspecjalnychlub
nieintuicyjnychterminów,którepojawiająsięwinnychksiążkachoFP
.Próbuję
przyjąćpraktycznepodejściedokażdejzasady,zamiastspojrzeniaczystoakade-
mickiego.Bezwątpieniabędzietuterminologia.Alejejwprowadzaniebędzie
ostrożneicelowe,zwytłumaczeniem,pocoonesą,idlaczegosąważne.
NiestetyniejestemposiadaczemkartyczłonkowskiejFPCoolKidsClub.Nigdy
niktformalnienieuczyłmnie,jakprogramowaćwFP
.Ichoćmamzasobąstudia
wyższeiniezłąwiedzęmatematyczną,zapismatematycznyniejestwzgodzie
zrozumieniemprogramowaniaprzezmójmózg.Nigdynienapisałemanijednego
wierszaprogramuwjęzykuScheme,ClojureczywHaskelu.Iniejestemzestarej
szkołyprogramistówLispa.
BrałemudziałwdyskusjachnawielukonferencjachnatematFP
,przykażdejmając
desperackąnadzieję,żetymrazemwreszciezrozumiem,ocochodziwtymca-
łymmistycyzmiezwiązanymzprogramowaniemfunkcyjnym.Izakażdymrazem
odchodziłemsfrustrowany,wszystkietenoweterminymieszałymisięwgłowie,
ajaniemiałempojęcia,czyiczegosięnauczyłem.Anajdłużejniemogłemdojść,
ocowtymwszystkimchodzi.
Wprowadzenie
xi
