What Good is Type Inference?
1. ML enforces type consistency in programs, much as is done in languages like Pascal and ADA. This makes it much less likely that a runnable program will contain an error having to do with unnoticed type conversions.
2. ML takes most of the drudgery out of declaring types, since most of it is handled automatically.