Programs
Complete, runnable programs demonstrating real-world Aria patterns.
Hello World
Entry blocks, string interpolation, and println.
Fibonacci
Recursive functions, loops with break, and if expressions.
Shapes
Sum types with data, pattern matching, and single-expression functions.
Calculator
Recursive descent parser, operator precedence, and state management via structs.
Todo CLI
CLI tool with file I/O, command-line arguments, Map operations, and serialization.
JSON Pipeline
Data pipeline with filter, map, and fold. File I/O and higher-order functions.
Markdown Renderer
Text processing with state machines, string methods, and escape handling.
Key-Value Store
Persistent Map with file backing and round-trip serialization verification.
File Processor
Concurrency with spawn/await, channels, mutex, and word frequency counting.
Chat Server
TCP networking, multi-client handling, and channels for message broadcasting.
Database
PostgreSQL CRUD operations, error handling, and struct-based domain modeling.
Tutorials
Progressive, educational examples that walk through the full language — one topic at a time.
01 — Hello World
Module declarations, function definitions, and string interpolation.
02 — Types & Variables
All primitive types, constants, type aliases, and struct defaults.
03 — Functions
Regular and single-expression functions, generics, closures, and higher-order functions.
04 — Control Flow
If/else expressions, match with guards, for loops, while, and labeled break.
05 — Error Handling
Result types, custom error types as sum types, the ? operator, and catch blocks.
06 — Structs & Traits
Struct definitions, trait definitions, impl blocks, and trait bounds.
07 — Enums & Pattern Matching
Sum types, exhaustive matching, nested patterns, and guard clauses.
08 — Collections & Pipelines
Lists, Maps, Sets, and the pipeline operator with filter/map/fold chains.
09 — Concurrency
Spawn, scope blocks, channels, and fan-out/fan-in patterns. (select: Coming soon)
10 — Advanced Error Handling
Error hierarchies, retry patterns, fallback chains, and combining Results.
11 — Modules & Imports
Module declarations, visibility rules, use imports, and re-exports.
12 — Resource Management
With statements for automatic cleanup, Drop trait, and nested resource management.
13 — Testing
Test blocks, assert, table-driven tests, fixtures, and benchmarks.
14 — Generics
Generic functions, multiple bounds, where clauses, and phantom types.
15 — HTTP Server
Routing, JSON handling, error responses, concurrency, and middleware patterns.
16 — CLI Tool
Argument parsing, subcommands, file I/O, formatted output, and pipelines.