system-f
CommunityMaster polymorphic lambda calculus.
Education & Research#lambda calculus#type systems#programming languages#polymorphism#type theory#system f
Authorrainoftime
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill enables the implementation and understanding of System F, a foundational calculus for advanced type systems, allowing for generic programming and robust type safety.
Core Features & Use Cases
- Type Abstraction & Application: Implement universal quantification over types.
- Polymorphic Type Systems: Build generic data structures and functions.
- Use Case: Develop a generic list implementation that can hold elements of any type, ensuring type safety at compile time.
Quick Start
Implement System F with type abstraction and application, ensuring type safety.
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: system-f Download link: https://github.com/rainoftime/pl-skills/archive/main.zip#system-f 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.