Unison Development

What problem does it solve?

This Skill navigates the complexities of Unison's unique codebase management (UCM) and strict type-checking, ensuring you write, test, and update Unison code correctly and efficiently, adhering to best practices and TDD.

Core Features & Use Cases

• UCM-Compliant Workflow: Guides development without direct ucm commands, focusing on type-safe updates and avoiding common pitfalls.
• Mandatory TDD & Type-Checking: Enforces a strict Test-Driven Development methodology combined with incremental and final type-checking using Unison's MCP tools.
• Fully Qualified Naming: Critical enforcement of fully qualified names to ensure existing definitions are modified, not duplicated, within the UCM.
• Use Case: When tasked with adding a new function or modifying an existing one in a Unison project, this skill will lead you through writing tests, incrementally coding, meticulously type-checking, and correctly updating the UCM.

Quick Start

Implement a new Unison function myProject.myModule.utility.addTwoNumbers that takes two numbers and returns their sum, ensuring all type checks pass.