Simon Peyton-Jones wrote:
[snip]
> It's not terrible. But all the types are isomorphic to Int,
> so there'd be a case for making them Ints.
Surely you must be joking, Mr Peyton-Jones?  A difference in
days is not at all the same thing as a difference in months.
Allowing a difference in days to be used as a number of months
is just going to cause confusion and bugs . . .  This is what
type systems are for, isn't it?

Reply via email to