Type Inference
Advantages
- convenient, less friction
- finds the most general type
- automatically introduces polymorphism
Disadvantages
- Type annotations serve as documentation.
- Error messages from the type checker are more complicated. (It hides where the type error occurred.)