On 24-Apr-1998, Frank A. Christoph <[EMAIL PROTECTED]> wrote:
> Does anyone know if Hindley-Milner type inference has been characterized in
> a non-operational way?
I've seen a lot of recent papers which talk about type inference
as constraint solving: the type system just defines a set of
constraints, and type inference is the process of solving those
constraints. This is a pretty declarative, non-operational
way of viewing things, IMHO. (Sorry, I don't have any specific
references to hand -- maybe someone else can assist.)
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.