Type Inference Engine Purpose Provides expert guidance on implementing type inference algorithms for programming language implementations. Capabilities - Algorithm W implementation - Constraint generation and solving - Unification with occurs check - Let-polymorphism (Hindley-Milner) - Principal type computation - Type error diagnosis Usage Guidelines 1. Constraint Generation : Generate type constraints from expressions 2. Unification : Implement unification algorithm 3. Generalization : Handle let-polymorphism 4. Error Messages : Generate informative type errors 5. Testing : Validate inferen…