Agent-Skills.md

Agent Skills: Type Inference Engine

Implement and test type inference algorithms including Algorithm W and constraint-based inference

programming-language-theoryID: a5c-ai/babysitter/type-inference-engine

Repository

a5c-ai/babysitter
a5c-aiLicense: MIT
244

Install this agent skill to your local

pnpm dlx add-skill https://github.com/a5c-ai/babysitter/tree/HEAD/plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/type-inference-engine

Skill Files

Browse the full folder contents for type-inference-engine.

Download Skill

Loading file tree…

plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/type-inference-engine/SKILL.md

Skill Metadata

Name
type-inference-engine
Description
Implement and test type inference algorithms including Algorithm W and constraint-based inference

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 inference on test cases

Tools/Libraries

  • Language workbenches
  • Constraint solvers
  • Type inference libraries