Haskell ↔ Roc Conversion

Bidirectional conversion between Haskell and Roc. This skill extends meta-convert-dev with Haskell↔Roc specific type mappings, idiom translations, and tooling for translating from lazy pure functional programming to strict platform-based architecture.

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: Haskell's HM types → Roc's structural types
• Idiom translations: Type classes → abilities, monads → platform effects
• Error handling: Maybe/Either → Result with tag unions
• Evaluation strategy: Lazy → strict evaluation
• Concurrency patterns: STM/async → platform-managed tasks
• Platform architecture: GHC runtime → platform/application separation
• Paradigm shift: Pure lazy functional → strict functional with platform effects