type-directed-name-resolution

Name: type-directed-name-resolution
Availability: InStock
Author: rainoftime

Resolve overloaded names using type information and scope graph structures.

17|2|Updated Feb 16, 2026

Search Tags:#static analysis #compiler #type systems #overloading #name resolution #scope graphs

Ready to run

npx skills add https://github.com/rainoftime/pl-skills --skill type-directed-name-resolution

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: type-directed-name-resolution
Source: https://github.com/rainoftime/pl-skills/tree/main/type-directed-name-resolution
Command: npx skills add https://github.com/rainoftime/pl-skills --skill type-directed-name-resolution

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

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].

Frequently Asked Questions about type-directed-name-resolution

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How does type-directed name resolution handle overloaded functions in static analysis?▼

Type-directed name resolution handles overloaded functions by intelligently selecting the correct function or method based on the expected type. This ensures the proper implementation is chosen when multiple overloads exist in statically-typed languages.

How do I disambiguate identifiers using type context and scope graphs?▼

You disambiguate identifiers by using type context to determine the intended meaning of ambiguous names. Navigating scope graph structures enables precise name lookup within complex codebases.

Can I use this approach for statically-typed languages with type classes and qualified types?▼

Yes, you can use this approach for statically-typed languages with type classes and qualified types. It satisfies requirements for sound and complete name resolution in advanced compiler environments.

What is the best way to resolve overloaded operators based on inferred types?▼

The best way to resolve overloaded operators is by leveraging type information to match the operator with the inferred type. For example, it ensures the correct addition operator is selected for integers versus floats.

Do I need a compiler environment to use type-directed name resolution?▼

Yes, you typically need a compiler or static analysis tool environment. This skill applies to infrastructures requiring precise name lookup and utilizes type information and scope graph structures to resolve overloaded names.