Skills
.Work. You
Rest

type-directed-name-resolution

Community

Resolve names using type information.

Software Engineering#static analysis#compiler#type systems#overloading#name resolution#scope graphs
Authorrainoftime
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill tackles the complexity of resolving overloaded names and disambiguating identifiers in programming languages by leveraging type information, making code more predictable and maintainable.

Core Features & Use Cases

  • Overload Resolution: Intelligently selects the correct function or method when multiple overloads exist based on the expected type.
  • Identifier Disambiguation: Uses type context to determine the intended meaning of ambiguous names.
  • Scope Graph Navigation: Understands and utilizes scope graph structures for precise name lookup.
  • Use Case: In a language like Haskell or Scala, when you write x + 1, this Skill ensures the correct + operator (e.g., for integers or floats) is resolved based on the inferred type of x.

Quick Start

Use the type-directed-name-resolution skill to resolve the overloaded function process in the given code snippet, considering the target type List[Int].

Dependency Matrix

Required Modules

None required

Components

references

💻 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-directed-name-resolution
Download link: https://github.com/rainoftime/pl-skills/archive/main.zip#type-directed-name-resolution

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.