name: type-inference-engine description: Implement and test type inference algorithms including Algorithm W and constraint-based inference allowed-tools:
- Bash
- Read
- Write
- Edit
- Glob
- Grep metadata: specialization: computer-science domain: science category: programming-language-theory phase: 6
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
- Constraint Generation: Generate type constraints from expressions
- Unification: Implement unification algorithm
- Generalization: Handle let-polymorphism
- Error Messages: Generate informative type errors
- Testing: Validate inference on test cases
Tools/Libraries
- Language workbenches
- Constraint solvers
- Type inference libraries