OpenSkillIndex← back to search
claude-codescience

Babysitter type-inference-engine

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

install
source · Clone the upstream repo
git clone https://github.com/a5c-ai/babysitter
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/a5c-ai/babysitter "$T" && mkdir -p ~/.claude/skills && cp -r "$T/library/specializations/domains/science/computer-science/skills/type-inference-engine" ~/.claude/skills/a5c-ai-babysitter-type-inference-engine && rm -rf "$T"
manifest: library/specializations/domains/science/computer-science/skills/type-inference-engine/SKILL.md
tags
#type-inference#algorithm-w#constraint-solving#unification#let-polymorphism
source content

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