type-inference-engine
// Implement and test type inference algorithms including Algorithm W and constraint-based inference
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
nametype-inference-engine
descriptionImplement and test type inference algorithms including Algorithm W and constraint-based inference
allowed-toolsBash,Read,Write,Edit,Glob,Grep
metadata[object Object]
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