equal
deleted
inserted
replaced
21 The latter is fairly advanced: read the beginning to understand what it is |
21 The latter is fairly advanced: read the beginning to understand what it is |
22 about, but consult the rest only when necessary. |
22 about, but consult the rest only when necessary. |
23 |
23 |
24 \input{Types/numerics} |
24 \input{Types/numerics} |
25 |
25 |
26 \index{pair|(} |
26 \index{pairs and tuples|(} |
27 \input{Types/document/Pairs} |
27 \input{Types/document/Pairs} |
28 \index{pair|)} |
28 \index{pairs and tuples|)} |
29 |
29 |
30 \input{Types/records} |
30 \input{Types/records} |
31 |
31 |
32 |
32 |
33 \section{Axiomatic Type Classes} |
33 \section{Axiomatic Type Classes} |
34 \label{sec:axclass} |
34 \label{sec:axclass} |
35 \index{axiomatic type class|(} |
35 \index{axiomatic type classes|(} |
36 \index{*axclass|(} |
36 \index{*axclass|(} |
37 |
37 |
38 |
38 |
39 The programming language Haskell has popularized the notion of type classes. |
39 The programming language Haskell has popularized the notion of type classes. |
40 In its simplest form, a type class is a set of types with a common interface: |
40 In its simplest form, a type class is a set of types with a common interface: |
60 |
60 |
61 \index{overloading|)} |
61 \index{overloading|)} |
62 |
62 |
63 \input{Types/document/Axioms} |
63 \input{Types/document/Axioms} |
64 |
64 |
65 \index{axiomatic type class|)} |
65 \index{axiomatic type classes|)} |
66 \index{*axclass|)} |
66 \index{*axclass|)} |
67 |
67 |
68 |
68 |
69 \input{Types/document/Typedef} |
69 \input{Types/document/Typedef} |