row-polymorphism
CommunityEnable extensible records and variants.
Software Engineering#type systems#type inference#variants#language design#row polymorphism#extensible records
Authorrainoftime
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill addresses the challenge of creating flexible data structures like records and variants that can be extended without modifying their original definitions, crucial for building adaptable languages and systems.
Core Features & Use Cases
- Extensible Records/Variants: Design languages with records and variants that can grow without nominal inheritance.
- Type-Safe Extensibility: Implement structural extensibility while maintaining type safety through row variables and unification.
- Use Case: When building a new programming language, use this Skill to define its core data structures, allowing users to add new fields to existing record types or new variants to sum types in a type-safe manner.
Quick Start
Implement row polymorphism for extensible records using type-level lists and row variables.
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: row-polymorphism Download link: https://github.com/rainoftime/pl-skills/archive/main.zip#row-polymorphism 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.