# genpark-type-checker-hindley-milner-skill

> genpark-type-checker-hindley-milner-skill — alphaparkinc-genpark-type-checker-hindley-milner-skill. Use this tool when you need to statically type-check code with polymorphic types, solving problems like ensuring type safety and preventing runtime errors in functional programming languages. It takes in code with type annotations and outputs inferred types, using Algorithm W unification and occurs check to resolve type constraints. Ideal for use in compiling or validating code in languages like Haskell or ML, where type inference is crucial for robustness and maintainability.

Canonical page: https://skillsregistry.net/skills/alphaparkinc-genpark-type-checker-hindley-milner-skill  
JSON: https://api.skillsregistry.net/v1/skills/alphaparkinc-genpark-type-checker-hindley-milner-skill

## Description

Hindley-Milner polymorphic type inference engine with Algorithm W unification and occurs check.

## Trust

- **Trust score (0–1):** 0.50
- **Verification tier:** unverified

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** container
- **Runtime environment:** vm
- **Updated:** 2026-09-28

## Source

- **Source listing:** [GitHub](https://github.com/alphaparkinc/genpark-type-checker-hindley-milner-skill)

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "alphaparkinc-genpark-type-checker-hindley-milner-skill"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/alphaparkinc-genpark-type-checker-hindley-milner-skill` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/alphaparkinc-genpark-type-checker-hindley-milner-skill/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt