CC: Functional dependencies question

Andrew J Bromage
Tue, 13 May 2003 16:21:41 +1000


On Mon, May 12, 2003 at 10:33:22PM -0700, wrote:

> Well, how about this?
> hbar = (PhysicalUnit 6.62606876e-34)::t where
>   x::t = (undefined::Energy) `mult` (undefined::Time)

Actually, that's pretty good.  BTW, I don't find "undefined" at all
bizarre here.  You're just after a type, not a value.

Thanks for the assistance.  Everything looks great now.

I'm still not happy about the original example, of course, but I'll
leave that for others to worry about.

Andrew Bromage