Mark (>):
> I'm not convinced that the type system shouldn't be helping with
> dimensional analysis, but at least it shouldn't hurt.  By all means,
> let the programmer raise a Duration to a power - but the type of the
> result should not also be Duration.  In the absence of automatic
> dimension tracking, just return a plain number.

Or, by Ockham, since Duration is now deprived of its only task --
making life harder for the programmer -- remove it altogether from the
language and just put a number type in its place, representing number
of seconds.

// Carl

Reply via email to