agentsclimarketplace
Sign in

Type inference engine

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/type-inference-engine

Implement and test type inference algorithms including Algorithm W and constraint-based inferenceFrom its SKILL.md

Install
npx -y skills add a5c-ai/babysitter --skill type-inference-engine

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

SKILL.md

1.4 KB, 150 tokens by cl100k_base, as published. Nobody here has run it

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

What ships with it

Read from the repository

Just SKILL.md. No reference files, no scripts.

Keep looking

Skills are one crate of 326,059. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.