Ch. A. Herrmann
Tue, 23 Oct 2001 10:57:20 +0200
assuming that the type class "Enum" represents enumeration
types, there are two questions for me:
(1) What is the justification for the types "Float" and "Double"
to be members of the type class "Enum"? This might induce students
to use floating point values as counters in arithmetic
(2) Why not make tuples of bounded enumeration types
themselves bounded enumeration types? E.g.,
could evaluate to
and it is comprehensible since the ordering in the sequence
equals the lexicographic ordering imposed on tuple comparison.