Concerning Time.TimeDiff
Simon Marlow
simonmar@microsoft.com
Fri, 20 Jun 2003 14:42:58 +0100
=20
> > in any case, since a pair of Int64's is not a clear win and=20
> an Integer
> > definatly is a clear win in terms of usability then I=20
> believe we should
> > go for that.
>=20
> It's a radical idea but... Maybe we could avoid all these=20
> issues by using an=20
> abstract type with all sensible instances (including Num=20
> though it is only=20
> semi-sensible for times).
>
> Internally, we might use Integer or two Int64s or we might=20
> even add Int128 to=20
> our compilers. Externally it looks like an Integral (or=20
> Fractional?) type.
Yes, I think that's a reasonable compromise. The accuracy is still
specified to be picoseconds, but the representation is hidden.
Any objections?
Cheers,
Simon