|Seeking brief description of the benefits of Type Inference firstname.lastname@example.org (1997-05-12)|
|Re: Seeking brief description of the benefits of Type Inference email@example.com (1997-05-13)|
|Re: Seeking brief description of the benefits of Type Inference firstname.lastname@example.org (Derek J. Witt) (1997-06-13)|
|From:||email@example.com (David Witten)|
|Date:||12 May 1997 00:22:23 -0400|
|Organization:||Template Software Inc., Dulles, VA|
I have noticed that there have been several papers detailing different
algorithms for doing type inference, typically with respect to ML.
This leads me to conclude that it must be quite useful.
I don't know ML (or any other language that has type inference), and so
don't know why type inference is good. Other than obviating the need
to declare the type of constructs what are the benefits of it to the
Could someone tell me an on-line reference that will answer my
-Thanks, David Template Software firstname.lastname@example.org
Return to the
Search the comp.compilers archives again.