[Prev][Next][Index][Thread]
type inference - terminology
Yes, there has been some confusion about the two. The accepted terminology in
the lambda calculus literature for what you have dubbed "type inference" is
"type assignment". Some work in the literature has tended to suggest that ML
ought to be regarded as a system of type assignment. But as Mitchell and I
have argued, we really ought to think of it as reconstructing information
omitted from what are "officially" explicitly-typed terms. However, rather
than introduce a new phrase, I'd prefer to retain "type inference" for what ML
does, but to stress the reconstructive point of view.
Bob Harper
-------
But ``type assignment'' is also used as a synonym for ``type
environment'', namely to designate the thing which assigns
type-expressions to identifiers. I'll stick to ``type reconstruction.''
Regards, A.