Revamping the numeric classes

Ketil Malde
08 Feb 2001 08:45:13 +0100

Bjorn Lisper <> writes:

>> Two interpretations of a code are "correct", but one is "more correct"
>> than the other.

> It is quite similar in spirit to the concept of principal type in
> Hindley-Milner type systems. An expression can have many types but
> only one "best" (most general) type in that system.

Now, I'm not any kind of expert on this, but isn't the most general
HM type one that encompasses the others, and *not* one out of a set of
ambigous (and mutually exclusive) types?

If I haven't seen further, it is by standing in the footprints of giants