Implement row polymorphism for extensible records and variants in type systems.
npx skills add https://github.com/rainoftime/pl-skills --skill row-polymorphism
Please help me install this Agent Skill. Skill: row-polymorphism Source: https://github.com/rainoftime/pl-skills/tree/main/row-polymorphism Command: npx skills add https://github.com/rainoftime/pl-skills --skill row-polymorphism
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.
Implement row polymorphism for extensible records using type-level lists and row variables.
High-intent search queries and answers about installing and using this skill.
Row polymorphism enables structural extensibility in type systems by modeling open rows with row variables. It allows data structures like records and variants to grow without requiring nominal inheritance or modifying their original type definitions.
Row unification solves type constraints by matching row variables during type inference, ensuring correct label scoping. This mechanism allows the type system to safely resolve overlapping fields when extending records or sum types without structural conflicts.
Use row polymorphism when building language designs requiring type-safe structural extensibility without nominal inheritance. It is essential when users need to dynamically add new fields to record types or new cases to sum types independently of the original definition.
Yes, row polymorphism supports type-safe database queries by modeling open rows with row variables, allowing query schemas to be structurally extended. This ensures dynamically combined or extended query results maintain strict type safety during row unification.
Using row variables for subtyping requires correct row constraint solving and label scoping to avoid unification conflicts. Limitations arise when structural extensibility demands complex overlapping label management, necessitating strict type inference rules to maintain type safety.
SunriseSummerExplain Cangjie type system rules for subtyping, variance, conversions, and aliases.
manutejProvide type-safe tensor operations in Haskell with compile-time shape verification.
rainoftimeImplement Hindley-Milner type inference with let-polymorphism for functional languages.
rainoftimeVerify structural and nominal subtyping relations for records and functions.
