navi_skill

Overview

This skill is a Navi programming language expert that helps you write, debug, and design code using Navi's type system, concurrency primitives, and module patterns. It focuses on practical solutions: implementing features, resolving errors, and applying idiomatic patterns for safe optionals, error handling, and worker/channel-based concurrency. Use it when you need precise, compile-safe code and performance-minded design in Navi.

How this skill works

I inspect your code or design goals and map them to Navi idioms: optional handling, throws/try variants, spawn and channel usage, and module boundaries. I suggest concrete code snippets, explain compiler errors, and propose refactors using let-else, if-let, defer, and builder patterns. I also provide CLI commands, testing patterns, and cross-platform considerations for Linux, macOS, Windows, and WebAssembly.

When to use it

• Writing new Navi functions, structs, modules, or tests
• Converting design ideas into idiomatic Navi code
• Debugging compile-time type or runtime optional-related errors
• Designing concurrency with spawn, channels, and Worker patterns
• Choosing appropriate error handling (try / try? / try! / do-catch)
• Integrating .nvs streams or building cross-platform modules

Best practices

• Prefer let-else and if-let for safe optional unwrapping and early returns
• Use try to propagate errors, try? for optionalizing failures, try! sparingly
• Keep spawn tasks single-threaded and use channels for communication
• Follow naming: snake_case for functions/vars, CamelCase for types, SCREAMING_SNAKE_CASE for constants
• Use defer for deterministic resource cleanup and LIFO finalization

Example use cases

• Implement a robust parser function that returns Optionals and uses try to propagate errors
• Refactor map access from [] to .get() with if-let or defaults to avoid panics
• Design a worker that receives messages, transforms them, and sends back results
• Write unit and doc tests for core algorithms and run them with the navi test CLI
• Create a channel-based producer/consumer example using spawn and ch.recv()/ch.send()