📚 Mica Examples

An end-to-end deployment pipeline demonstrating:

• Structured concurrency with spawn/await
• Nested using blocks with RAII semantics
• Pattern matching with guards
• Capability-aware error propagation
• Retry logic with exponential backoff

A fan-out/fan-in pipeline showing:

• Task spawning and awaiting
• Pattern matching on results
• Capability-checked IO operations
• Structured error handling

Recursive ADTs with generic functions:

• Generic type parameters
• Recursive algebraic data types
• Higher-order functions (map, fold)
• Type inference

Higher-order effect management:

• Resource pooling with RAII
• Higher-order capability helpers
• Cross-capability tasks
• Structured error propagation

Core ADT features:

• Type definitions (Option, Result)
• Generic type parameters
• Pattern matching
• Exhaustiveness checking

Object-oriented features:

• Impl blocks
• Method receivers
• Method call syntax
• Lowering to functions

Advanced pattern matching:

• Pattern guards (if conditions)
• Exhaustiveness with guards
• Nested patterns
• Wildcard matching

Collection manipulation:

• List literals
• For loops
• Mutable variables
• Iteration patterns

Control flow constructs:

• While loops
• Break statements
• Continue statements
• Conditional logic

Error handling patterns:

• Result type usage
• Try operator (?)
• Error propagation
• Recoverable errors

Capability system basics:

• Effect annotations
• Using blocks (RAII)
• Resource management
• Explicit capabilities

Minimal native compilation:

• Main function entry point
• Native --build workflow
• Binary generation
• End-to-end compilation