subtyping-verifier
CommunityVerify subtyping relations in type systems.
Education & Research#type safety#formal verification#type systems#programming languages#polymorphism#subtyping
Authorrainoftime
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill addresses the complexity of ensuring type safety and correctness in programming language implementations by providing a robust mechanism to verify subtyping relationships.
Core Features & Use Cases
- Subtyping Rule Verification: Checks structural and nominal subtyping rules, including width and depth subtyping for records.
- Polymorphism Support: Handles subtyping checks for polymorphic types and function variance (contravariance, covariance).
- Use Case: When developing a new programming language or extending an existing one, this skill can be used to automatically verify that the language's subtyping rules are consistently applied, preventing type errors and ensuring soundness.
Quick Start
Use the subtyping verifier to check if the type TRecord({'x': TInt(), 'y': TInt()}) is a subtype of TRecord({'x': TInt()}).
Dependency Matrix
Required Modules
None requiredComponents
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: subtyping-verifier Download link: https://github.com/rainoftime/pl-skills/archive/main.zip#subtyping-verifier 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.