convert-python-roc
Installation
SKILL.md
Convert Python to Roc
Convert Python code to idiomatic Roc. This skill extends meta-convert-dev with Python-to-Roc specific type mappings, idiom translations, and architectural guidance for transforming dynamic, garbage-collected Python code into statically-typed, pure functional Roc with platform-separated effects.
This Skill Extends
meta-convert-dev- Foundational conversion patterns (APTV workflow, testing strategies)
For general concepts like the Analyze → Plan → Transform → Validate workflow, testing strategies, and common pitfalls, see the meta-skill first.
This Skill Adds
- Type mappings: Python types → Roc types (dynamic → static with inference)
- Idiom translations: Python patterns → idiomatic Roc
- Error handling: Exceptions → Result types
- Platform architecture: Python runtime → Roc platform/application model
- Async patterns: asyncio → Task-based effects
- Class hierarchy: OOP → records + functions
- Dev workflow: REPL-driven → expect-driven development