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, firstname.lastname@example.org 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.