Table Of Contentcraofftf u--n---
e
•
rogramm1ng
Thiredd ition
SimoTnh ompson
Haskell
thec raofftf unctiopnraolg ramming
Haskell
thec raftf uonfc tional
•
programming
ThirEdd ition
SimonT hompson
AddisWoens ley
isa ni mprionft
PEARSON
---
'
HarloEwn,g lan• dL ondon• New Yor•k B osto•n S anF ranci•s Tcoor ont• oS ydne•y S ingapo• rHeo ngK ong
Toky•o S eou• lT aipe• Nie w Delh• iC apeT own• Madri• dM exicCoi t•y A msterda• mM unic•h P ari• sMi lan
PearsoEnd ucatiLoinm ited
EdinburGgaht e
Harlow
EsseCxM 20 2JE
England
andA ssociaCtoemdp anitehsr oughtohuewt o rld
Visuisto nt heW orlWdi deW eba t:
www.pearsoned.co.uk
Firpsutb lis2h0eI dI
©
PearsEodnu catiLoinm it2e0dI I
Ther ighotfS imonT hompsotnob ei dentiafisea du thoorft hiwso rkh asb eena sserbtyet dh emi n
accordawnicteth h eC opyrigDhets,i gannsd P atenAtcst1 988.
Allr ighrtess ervNeod p.a rotf t hipsu blicamtaiyob ne r eproducsetdo,ri enda r etriesvyastle omr,
transmiitnta endyf ormo rb ya nym eanse,l ectromneicch,a nicpahlo,t ocopying, roerc ording
otherwiwsiet,h oeuitt htehrep riowrr ittpeenr missoifot nh ep ublisohrea rl icenpceer mitting
restriccotpeydi ningt heU niteKdi ngdoims subeydt heC opyrigLhitc ensAingge ncLyt dS,a ffron
House, 6K--i1r0b Syt reeLto,n doEnC I N 8TS.
Allt rademaurskeshd e reairne t hep roperotfty h eriers pectoiwvnee rTsh.e u seo fa nyt rademairnk
thitse xdto enso tv esitnt hea uthoorrp ublisahneyrt rademaorwkn ershriipg hitnss ucthr ademarks,
nord oetsh eu seo fs ucthr ademairmkpsl ayn ya ffiliatioonr e wnidtohr semoefnt th ibso okb ys uch
owners.
PearsEodnu catiiosnn o tr esponsfiobrtl heec onteonftt hirpda rtiyn ternseitt es.
ISBN9:7 8-0-201-88295-7
BritiLsihb rarCya taloguing-in-PuDbaltiac ation
A catalorgeuceo rfdo rth ibso oki sa vailafbrloemt heB ritiLsihb rary
LibraroyfC ongreCsast aloging-in-PubDlaitcaa tion
10987654321
151 41 31 2 II
TypeseitnT imeRso man1 011b2y 7 3
Printaenddb ounidn G reaBtr itabiynH enrLyi ngL tdD,o rchesDtoerrs.e t
ToJ aneA,l icaen dR ory
Contents
Preface xiii
1 Intdruocinfgu nctiopnraolg ramming 1
1.1 Computearnsd m odelli.n g. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Whati sa functio.n ?. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Pictuarnedsf unctio.n s. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4 Types. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.5 TheH askeplrlo grammilnagn guag.e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.6 Expressiaonndes v aluati.o n. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
.
1.7 Definitio.n s. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.8 Functidoefinn ition.s . . . . . . . . . . . . I.I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
1.9 Typeasn df unicotnaplr ogrmaimng. . . . . . . . . . 1.4 . . . . . . . . . . . . . . . . . . . . .
1.10 Calculatainoden v aluati.o n. . . . . . . . . . . .1 5. . . . . . . . . . . . . . . . . . . . . . . . . .
1.11 Thee ssenocfeH askeplrlo grmaimng. . . . . . . . . .1 6. . . . . . . . . . . . . . . . . . . .
1.12 Domain-spelcainfigcu ag.e s. . . . . . . . . . . .1 7. . . . . . . . . . . . . . . . . . . . . . . . . .
1.13 Twom odelosf P ictures . . . . . . . . . . . 1.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.14 Testpsr,o pertiepsr oaonfd.s . . . . . . . . . . . 2.2 . . . . . . . . . . . . . . . . . . . . . . . . .
2 Gettisntga rtweidt Hha skealnld G HCi 27
2.1 A firsHta skell pro.g r.a m. . . . . . . . . . . .2 7. . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 UsinHga skeilnlp racti.c e. . . . . . . . . . . . 2.8 . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 UsinGgH Ci . . . . . . . . . . . . . . . . .2 9. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4 Thes tandaprrde luadned t he Haskellilb rar.i es. . . . . . . . . . . . . . . . . . . . . 33
2.5 Modules. . . . . . . . . . . . . . . . . .3 4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6 A seconedx amplpei:c tur.e s. . . . . . . . . . . 3.5 . . . . . . . . . . . . . . . . . . . . . . . . .
2.7 Erroarnsd e rromre ssage.s . . . . . . . . . . . .3 8. . . . . . . . . . . . . . . . . . . . . . . . . . .
3 Basitcy pes daenfidn iotnis 41
3.1 TheB ooleanBso:o l . . . . . . . . . . . . . . 4.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
3.2 Thei ntegerIsn:t egearn dI nt 45
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3 Overloadi.n g. . . . . . . . . . . . . . . 4.7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
3.4 Guards. . . . . . . . . . . . . . . . . . 4.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Vll
Vlll CONTENTS
. . . . . . . . . . . . . . 5.2 . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.5 Charactaenrdss rt ings
.
Float . 5
3.6 Flaoting-poniunmtb ers: 6
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 6.0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.7 Syntax
.
4 67
Desiginnga ndw ritipnrgo grams
Wherdeo I s tart? . . . . . . .6 7. . . . . . . . . . .
4.1 Designian pgr ograimnH askell
4.2 . . . . . . . . 7.2 . . . . . . . . . . . . . .
Solvian pgr obleimns teplso:c adle finitions
. . . . . . . 7.8 . . . . . . . . . . . .
4.3 Definitnygp efso ro ursveelse:n umeratteydp es
.
. . . . . . . . . . . . . . . . . . 8.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4 Recursion
. . . . . . . . . . . . 8.4 . . . . . . . . . . . . . . . . . . . . . .
4.5 Primitrievceu rsiinpo rnca tice
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.6 Extendeexde rcipsiecu:tr es
.
. . . . . . . . . . . . .8 9. . . . . . . . . . . . . . . . . . . . . . . . .
4.7 Generfaolr mosf r ecursion
.
4.8 . . . . . . . . . . . . . . . .9 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Progratme sting
.
5 97
Datat ypetsu,p leasn dl ists
. . . . . . . . . . . . .9 7. . . . . . . . . . . . . . . . . . . . . . . . .
5.1 Introdutcupilnegas n dl ists
.
100
5.2 Tuplteypes
. . .. . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . .
03
5.3 Introduaclignbegr aitcy pes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I
. . . . . . . . . . . . . . 1.0 9. . . . . . . . . . . . . . . . . . . . . . . . . . .
5.4 Oura pproatcohl ists
.
09
5.5 ListisnH askel.l . . . . . . . . . . . . . . .I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.6 Liscto mprehensi.o n.s . . . . . . . . . . . . I.ll . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7 A 16
5. libradratya bas.e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I
6 123
Prorgamminwgi thl ists
. . . . . . . . . . . 1.2 3. . . . . . . . . . . . . . . . . . . .
6.1 Generfiucn ctioponlsy:m pohrism
6.2 Prelude. . . . . . . . . .1 2.6 . . . . . . . . . . . . . . . .
Haskellilsf tu ntcionisnt he
.
. . . . . . . 1.2 9. . . . . . . . . . .
6.3 Findiynogu rw aya rountdh eH askellilb raries
.
Picture . . . . . . . . .1 3.5 . . . . . . . . . . . . . . .
6.4 The exampliem:p lemenitoant
.
. . . .1 4.0 . . .
6.5 Extendeexde rciaslet:e trinvaiem pelmentatioofpn isc tures
.
. . . . . . . . . .1 4.4 . . . . . . . . . . . . . . . .
6.6 Extended expeorsciitsieo:pn iecdt eusr
6.7 . . . . . . . . . 1.4 7. . . . . . . . . . . . . . . .
Extendeexde rcissueep:r markbeitl ling
.
. . . . . . . . .1 5.2 . . . . . . . . . . . . . .
6.8 Extendeexde rcicsaer:da sn dc argda mes
.
7 155
Defininfgu nctioovnesr l ists
7. . . . . . . . . . . . . .1 5.5 . . . . . . . . . . . . . . . . . . . . . . . .
I Patmtaetrcnh irnegv isited
.
7.2 . . . . . . . . . . . . . . 1.5 7. . . . . . . . . . . . . . . . . . . . . . . . . . .
Lisatnsd l ispta tterns
.
7.3 . . . . . . . . . . . . .1 6.0 . . . . . . . . . . . . . . . . . . . . . .
Primitrievceu rsoivoenlr i sts
. . . . . . . . . 1.6 1. . . . . . . . . . . . . . . .
7.4 Findipnrgi mitive rdeecfiunriistoinvse
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
7.5 Generraelc ursioovnelsri sts
.
7.6 . . . . . . . . . . . . . 1.7 0. . . . . . . . . . . . . . . . . . . . . . . .
Exampltee:x ptr ocessing
.
8 1/0 177
Playintgh eg ame: inH askell
8.1 . . . . . . . . . . 1.7 7. . . . . . . . . . . . . . . . . . .
Rock- Paper- Scisstsroartse:g ies
.
8.2 1/0 . . . . . . . . . . . . . . 1.8 1. . . . . . . . . . . . . . . . . . . . . . . . . . .
Whyi s ani ssue?
.
8.3 . . . . . . . . . . . . . 1.8 2. . . . . . . . . . . . . . . . . . . . . . . . .
Theb asiocfsi nput/output
8.4 do . . . . . . . . . . . . . . . . 1.8 5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
The notation
CONTENTS IX
8.5 . . . . . . . . . . . . . . 18.9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Loopasn dr ecursion
8.6 . . . . . . . . 1.9 1. . . . . . . . . . . . . . .
Rock-PaperS-csisrosp:l aiyngt heg ame
9 Reasonianbgo uptr ograms 195
9.1 . . . . . . . . . . . . .1 9.6 . . . . . . . . . . . . . . . . . . . . . . . . .
Undesrtandidnefign itions
9.2 . . . . . . . . . . . . . . .1 9.7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Testianngdp roof
9.3 . . . . . . . . . 19.9 . . . . . . . . . . . . . . . . .
Definednetsesr,m inataindofi nn iteness
9.4 A . . . . . . . . . . . . . . . . 2.0 0. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
littlloeg ic
9.5 . . . . . . . . . . . . . . . . . 2.0I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Induction
9.6 . . . . . . . . .2 0.5 . . . . . . . . . . . . . . . .
Furtheexra mploefsp roobfysi ndcution
9.7 . . . . . . . . . . . . 2.0 9. . . . . . . . . . . . . . . . . . . . . . . .
Generalitzhien gp roof goal
10 213
Genearlizatpiaotne:tr nosf c omputation
I0 .1 . . . . . . . . . . .2 1.4 . . . . . . . . . . . . . . . . . . . .
Patteornfcs o mputatioovne lri sts
I0 .2 . . . . . . .2 1.6 . . . . . . . . . . .
Higher-orfduenrc tiofnusn:c tiaosna sr guments
I0 .3 . . . . . . . . . . . 2.2 1. . . . . . . . . . . . . . . . . . . . . .
Foldianngd p rimitrievceu rsion
I0 .4 . . . . . . . . . . . 2.2 6. . . . . . . . . . . . . . . . . . . . . . .
Generalizsipnlgi:t tuipln igs ts
I0 .5 . . . . . . . . . . . . . .2 2.7 . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Cases tudireesv isited
11 231
Higher-orfduenrc tions
11.1 . . . . . . 2.3 2. . . . . . . . . . .
Operatofrusn:c ticoonm positainodan p plication
11.2 . . . . . . .2 3.5 . . . . . . . . . . . .
Expressifoonrfs u cntionlsa:m bdaab stractions
11.3 . . . . . . . . . . . . . . 2.3 9. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Patriaalp plication
11.4 . . . . . . . . . . 2.4 2. . . . . . . . . . . . . . . . . . . . .
Undetrh eh oodc:u rriefdu nctions
11.5 . . . . . . . . . . .2 4.7 . . . . . . . . . . . . . . . . . . . . .
Defininhgi gher-ofrudnecortn is
11.6 . . . . . . . . . . .2 5.3 . . . . . . . . . . . . . . . . . . . .
Verificatiogne naenrdfa uln ctions
12 263
Developihnigg hre-ordperro grams
12.1 Picture . . . . . . . . . . .2 6.3 . . . . . . . . . . . . . . . . . . . . .
Reviistitnhge exmaple
12.2 . . . . . . . . .2 6.6 . . . . . . . . . . . . . . . .
Functiaosnd sa tas:t ratceogmyb inators
I2.3 . . . . . .2 6.9 . . . . . . . . . .
Functiaosnds a tar:e congizirnegg ulaerx pressions
12.4 . . . . . . . . . . . 2.7 2. . . . . . . . . . . . . . . . . . . . . . .
Cases tudifeuscn:t ioanssd ata
12.5 . . . . . . . . . . . . 2.7 5. . . . . . . . . . . . . . . . . . . . . . . .
Examplcer:e atiannig n dex
12.6 . . . . . . . . . . . . .2 8.1 . . . . . . . . . . . . . . . . . . . . . . . . . .
Developmeinnpt r catice
12.7 . . . . . . . . . . . . .2 8.4 . . . . . . . . . . . . . . . . . . . . . . . . . .
Understagn pdriongrams
13 Overloaditnygp,ce l assaensd t ypceh ecking 287
I3.1 . . . . . . . . . . . . . . .2 8.7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Why overloading?
13.2 . . . . . . . . . . . . . . 2.8 8. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Introduccilnags ses
13.3 . . . . . . . . . . . . .2 9.2 . . . . . . . . . . . . . . . . . . . . . . . . . .
Signatuarnedis n tsances
13.4 A . . . . . . . . . .2 9.9 . . . . . . . . . . . . . . . . . .
touorf t heb uiltH-aisnk ecllla sss e
13.5 . . . . . . .3 0.8 . . . . . . . . . . .
Typec heckianngd t ypien freencaen:o verview
13.6 . . . . . . . . . . . .3 0.9 . . . . . . . . . . . . . . . . . . . . . . .
Monomorpch tiypceh ecking
13.7 . . . . . . . . . . . . 3.1 2. . . . . . . . . . . . . . . . . . . . . . . .
Polymorpthyipcce h ecikng
13.8 . . . . . . . . . . . . 3.2 0. . . . . . . . . . . . . . . . . . . . . . . . .
Typec hekcinagn dc lasses
