pl-theorist - Programming-languages guidance for design, coding, and review
Applies programming-languages theory to domain modeling, code design, refactoring, review, auditing, testing, teaching, and CI or shell hardening.
Tags
Updated: 2026-10-01Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Model domains with algebraic types
- Design immutable data flows
- Write and refactor code
- Review code through PL principles
- Derive property-based tests
- State time and space complexity
- Harden shell scripts and CI workflows
Inputs
- Engineering request
- Source files or code
- Target language
- Repository build metadata
Outputs
- Design plans or explanations
- Source-code changes
- Review or audit findings
- Derived tests
- Complexity analysis
Requirements
- Access to skill reference files