CONTENTS 4
5.4 Typeclass constrained type variables . . . . . . . . . . . 150
5.5 Currying . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
5.6 Polymorphism . . . . . . . . . . . . . . . . . . . . . . . . . . 164
5.7 Type inference . . . . . . . . . . . . . . . . . . . . . . . . . 169
5.8 Asserting types for declarations . . . . . . . . . . . . . . . 173
5.9 Chapter Exercises . . . . . . . . . . . . . . . . . . . . . . . . 175
5.10 Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
5.11 Follow-up resources . . . . . . . . . . . . . . . . . . . . . . 186
6 Typeclasses 187
6.1 Typeclasses . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188
6.2 What are typeclasses? . . . . . . . . . . . . . . . . . . . . . 188
6.3 Back to Bool . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
6.4 Eq . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
6.5 Num . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193
6.6 Type-defaulting typeclasses . . . . . . . . . . . . . . . . . 196
6.7 Ord . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 200
6.8 Enum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204
6.9 Show . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
6.10 Read . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
6.11 Instances are dispatched by type . . . . . . . . . . . . . . 210
6.12 Writing typeclass instances . . . . . . . . . . . . . . . . . . 214
6.13 Gimme more operations . . . . . . . . . . . . . . . . . . . 225
6.14 Chapter Exercises . . . . . . . . . . . . . . . . . . . . . . . . 229
6.15 Chapter Definitions . . . . . . . . . . . . . . . . . . . . . . 235
6.16 Typeclass inheritance, partial . . . . . . . . . . . . . . . . 237
6.17 Follow-up resources . . . . . . . . . . . . . . . . . . . . . . 237
7 More functional patterns 238
7.1 Make it func-y . . . . . . . . . . . . . . . . . . . . . . . . . . 239
7.2 Arguments and parameters . . . . . . . . . . . . . . . . . 239
7.3 Anonymous functions . . . . . . . . . . . . . . . . . . . . . 245
7.4 Pattern matching . . . . . . . . . . . . . . . . . . . . . . . . 248
7.5 Case expressions . . . . . . . . . . . . . . . . . . . . . . . . 257
7.6 Higher-order functions . . . . . . . . . . . . . . . . . . . . 260
7.7 Guards . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268
7.8 Function composition . . . . . . . . . . . . . . . . . . . . . 274
7.9 Pointfree style . . . . . . . . . . . . . . . . . . . . . . . . . . 278
7.10 Demonstrating composition . . . . . . . . . . . . . . . . . 280
