What are the benefits of converting functions to methods in MoonBit?

Converting functions to methods improves code discoverability through IDE auto-completion and allows for 'fluent' API design using method chaining, making the code more readable.

Can this skill help with large-scale architectural changes?

Yes, it includes specific workflows for splitting packages, auditing call sites using 'moon ide find-references', and ensuring that package dependencies remain acyclic.

Does it support formal verification concepts?

It encourages the use of Dafny-style comments, including loop invariants and reasoning clauses, which prepare the codebase for formal verification and improved maintainability.

Does refactoring with this skill risk breaking my code?

The skill follows a strict safety workflow: it starts with 'moon check', applies minimal changes, updates tests immediately, and uses coverage analysis to ensure no regressions occur.

How does this skill improve MoonBit performance?

The skill identifies opportunities to use optimized view types like ArrayView and StringView, which allow for efficient pattern matching without the overhead of memory copies.

MoonBit Code Refactoring

Name: MoonBit Code Refactoring
Author: f4ah6o

byf4ah6o

0•

学習とドキュメンテーション

Refactors MoonBit source code into idiomatic, performant, and well-tested modules using pattern matching and optimized API structures.

The MoonBit Refactoring skill automates the transition from prototype MoonBit code to production-grade, idiomatic patterns. It focuses on minimizing public API surfaces, converting free functions into discoverable methods, and leveraging MoonBit's powerful pattern matching and view types (like ArrayView) to eliminate unnecessary allocations. Whether you are splitting large packages, adding Dafny-style loop invariants for formal verification, or improving test coverage, this skill provides a structured workflow to ensure architectural integrity and performance without breaking existing contracts.

主な機能

01Method Conversion: Transforms free functions into type-specific methods to improve discoverability and support fluent chaining.

020 GitHub stars

03API Minimization: Identifies and removes unnecessary 'pub' modifiers and migrates helpers to internal packages.

04Package Architecture: Provides structured guidance for splitting large files and packages while maintaining acyclic dependencies.

05Idiomatic Pattern Matching: Implements advanced matching techniques using views and nested patterns for efficient, allocation-free logic.

06Formal Verification Support: Adds Dafny-style loop invariants and functional-state specifications to improve code reliability and safety.

ユースケース

01Modernizing legacy MoonBit codebases to use the latest idiomatic syntax and high-performance view types.

02Enhancing code reliability by replacing manual loops with declarative patterns and adding comprehensive test coverage.

03Restructuring monolithic packages into smaller, decoupled modules with strictly defined public boundaries.

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add f4ah6o/noraft.mbt moonbit-refactoring

For use in Claude.ai and ChatGPT

Download Skill