Dimensional analysis with fundeps (some physics comments)
Wed, 11 Apr 2001 15:12:14 +1000
On 01-May-2001, Terrence Brannon <firstname.lastname@example.org> wrote:
> my question (primarily for Fergus) is: "has Ashley
> shown in her example a means of automating a toUnits imperative in
> Haskell that must be done explicitly in Mercury?"
Yes. In Haskell, there's some syntactic sugar attached to every numeric
literal: "123" is defined to mean "fromInteger 123", where "fromInteger"
is an overloaded (class member) function defined in the standard Prelude.
In Mercury, if you want "fromInteger" or "toUnit", then you need
to write it explicitly.
Fergus Henderson <email@example.com> | "I have always known that the pursuit
| of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.