Contents
17 Control structures 121
17.1 if and guards revisited . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
17.2 case expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
17.3 Controlling actions, revisited . . . . . . . . . . . . . . . . . . . . . . . . . . 124
18 More on functions 127
18.1 let and where revisited . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
18.2 Anonymous Functions - lambdas . . . . . . . . . . . . . . . . . . . . . . . 128
18.3 Operators and sections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
19 Higher order functions and Currying 131
19.1 The Quickest Sorting Algorithm In Town . . . . . . . . . . . . . . . . . . . 131
19.2 Now, How Do We Use It? . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
19.3 Tweaking What We Already Have . . . . . . . . . . . . . . . . . . . . . . . 133
19.4 quickSort, Take Two . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
19.5 But What Did We Gain? . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
19.6 Higher-Order Functions and Types . . . . . . . . . . . . . . . . . . . . . . 134
19.7 Currying . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
19.8 Function manipulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
20 Using GHCi effectively 139
20.1 User interface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
21 Intermediate Haskell 141
22 Modules 143
22.1 Modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
22.2 Importing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
22.3 Exporting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
23 Indentation 149
23.1 The golden rule of indentation . . . . . . . . . . . . . . . . . . . . . . . . . 149
23.2 A mechanical translation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
23.3 Layout in action . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
24 More on datatypes 155
24.1 Enumerations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
24.2 Named Fields (Record Syntax) . . . . . . . . . . . . . . . . . . . . . . . . 155
24.3 Parameterized Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
25 Other data structures 161
25.1 Trees . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
25.2 Other datatypes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
26 Classes and types 169
26.1 Classes and instances . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
26.2 Deriving . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170
26.3 Class inheritance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
26.4 Standard classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
V
