Skills
.Work. You
Rest

existential-types

Community

Abstract data and hide type information.

Education & Research#abstraction#type system#programming languages#data hiding#type theory#existential types
Authorrainoftime
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill enables the implementation of abstract data types and the hiding of type information, crucial for data abstraction and managing heterogeneous collections.

Core Features & Use Cases

  • Existential Quantification: Hide type variables within data types (∃α.τ).
  • Type Abstraction: Expose operations without revealing the underlying implementation type.
  • Use Case: Implementing a generic stack data structure where the type of elements stored is hidden from the user, who only interacts with push and pop operations.

Quick Start

Implement existential types for data abstraction and hiding type information.

Dependency Matrix

Required Modules

None required

Components

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: existential-types
Download link: https://github.com/rainoftime/pl-skills/archive/main.zip#existential-types

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.