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