type-inference-engine
CommunityInfer types for functional languages.
Software Engineering#functional programming#type systems#type inference#polymorphism#unification#hindley-milner
Authorrainoftime
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill automates the process of determining the types of expressions in functional programming languages, reducing the burden on developers and catching type errors early.
Core Features & Use Cases
- Hindley-Milner Type Inference: Implements the classic algorithm for inferring principal types.
- Polymorphism Handling: Correctly infers and applies polymorphic types using generalization and instantiation.
- Use Case: When building a new functional programming language, use this Skill to provide robust type inference for your compiler or interpreter.
Quick Start
Use the type-inference-engine skill to infer the type of the given lambda calculus expression.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: type-inference-engine Download link: https://github.com/rainoftime/pl-skills/archive/main.zip#type-inference-engine Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.