Wado

Documentation

← Blog

Start here

• Wado Cheatsheet
• Design Philosophy

Specification

• Wado Language Specification
• Lexical Structure
• Literals
• Statements and Expressions
• Types
• Patterns
• Control Flow
• Assertions
• Functions
• Memory Model
• Traits
• Standard Traits
• Static Reflection
• Effect System
• Module System
• Packages
• Kiln Generators
• Worlds and Entry Points
• Components
• Serialization
• Compiler Attributes
• Testing

Wado Evolution Proposals

• WEP: Deterministic Math Library (libm) Integration
• WEP: Tagged Template Literals
• WEP: WebAssembly Module Import Support
• WEP: Operator Precedence and Associativity
• WEP: Target WASI P3 Only
• WEP: Ambient Logging Functions
• WEP: Data Section (__DATA__)
• WEP: Literal Type Conversion Rules
• WEP: Resource Lifecycle Management (RAII)
• WEP: Value Semantics and Reference Retention
• WEP: Struct and Trait System
• WEP: Compiler Pipeline Refactoring
• WEP: String Type Design
• WEP: Tuple and List Literal Syntax
• WEP: Closure Implementation
• WEP: Function Return Type Syntax
• WEP: CompilerHost Abstraction for Compiler I/O
• WEP: Type Stringification
• WEP: World Conformance and Export Syntax
• WEP: Template Format Specifiers
• WEP: Literal-to-Collection Coercion
• WEP: JSON Literal Compatibility
• WEP: JSON Module Import
• WEP: Operator Overloading
• WEP: Associated Types in Traits
• WEP: Effect System and Randomness in Collections
• WEP: Indexing Traits Design
• WEP: String Template Desugaring
• WEP: Compile-Time Location Literals
• WEP: 128-bit Integer Types (i128/u128)
• WEP: Iterator Traits Design
• WEP: Module Loader Design
• WEP: Closure Implementation Internals
• WEP: Re-export Syntax (pub use)
• WEP: Variant Payload Design
• WEP: Effect System Design
• WEP: Global Variables
• WEP: Match Expression Design
• WEP: Newtype Semantics
• WEP: WIT and Wado Mapping
• WEP: SIMD v128 Types
• WEP: Format Traits
• WEP: Wasm Plan Phase
• WEP: Trait Bounds Enforcement
• WEP: Variant Wasm GC Representation
• WEP: Variant-Independent Types
• WEP: Compile-Time Tuple Enumeration
• WEP: Package Manifest (wado.toml)
• WEP: Wasm IR (WIR) Layer
• WEP: TIR-Level CM Binding Synthesis
• WEP: Inspect (Debug Output)
• WEP: WASI HTTP Integration
• WEP: CLI Subcommands for Package Management
• WEP: Struct Destructuring
• WEP: Tuple Destructuring
• WEP: Base64 Encoding API
• WEP: Documentation Generation (wado doc)
• WEP: Serialization and Deserialization (Serde)
• WEP: Redesign Wasm CM Builtins as Resource Canonical Attributes
• WEP: Gale — Grammar Adaptive LL Engine
• WEP: Compile-Time File Inclusion (#include_str, #include_bytes)
• WEP: Range Object
• WEP: Default Trait
• WEP: Variadic Type Parameters
• WEP: Conversion Traits (From, TryFrom, ? operator)
• WEP: WIT Bundling in Component Binaries
• WEP: Same-Scope Shadowing with Self-Reference
• WEP: Migration to GC in Components
• WEP: Redesign String and List APIs
• WEP: The Web Interface for Wado
• WEP: Reactive Signals
• WEP: URL Standard Library (core:url)
• WEP: Default Arguments
• WEP: Effect Handler
• WEP: Kiln — Keyed IDL Lowering Notation
• WEP: LSP Architecture
• WEP: Generic AsyncCall<T> for CM async imports
• WEP: Compile-Time Parameters
• WEP: Synopsis Tests
• WEP: NIR Interpreter (niri)
• WEP: Resource Inheritance and Narrowing (resource extends)
• WEP: Test Discovery
• WEP: WIT Interoperability
• WEP: HTTP Path Router (core:router)
• WEP: Normalized IR (NIR) Layer
• WEP: String API — checked / unchecked / internal Discipline
• WEP: Unused Diagnostics
• WEP: Resource Ownership — Move-Only Resources, Authoritative Cleanup, and Value-Copy Elision
• WEP: Elaborator Architecture — TypeSystem, Signatures, Annotate, Reify
• WEP: Constant Object Globalization
• WEP: NirExprKind::ArrayLiteral — a NIR-Materialized List Node
• WEP: Diagnostic Reason Chains for Type and Trait Errors
• WEP: The Sequence Family — Array<T> / List<T> / Slice<T>
• WEP: Optimizer Remarks for Missed Optimizations
• WEP: CBOR Standard Library (core:cbor)
• WEP: Temporal Standard Library (core:temporal)
• WEP: NIR Optimizer Architecture
• WEP: Compile-Time Data Providers
• WEP: Jade — JSON Schema for Wado
• WEP: Reference Representation and Mutation Write-Back
• WEP: Library-Defined Derivation over Reflect*
• WEP: Symbol Notation
• WEP: Package and Module Specifier Syntax
• WEP: Command-Line Argument Parsing (core:args)
• WEP: Lenient String Parsing (LenientFromStr)
• WEP: Structured Logging and Tracing Standard Library (core:log)
• WEP: Trait Derivation Policy — Bound-Driven Synthesis
• WEP: Visibility — internal / pub / export
• WEP: Wasm CM Component Import (use-based)
• WEP: Literal Spread (..base)
• WEP: Iterator Reference Model
• WEP: Marl — Markdown Renderer and Formatter
• WEP: Local Item Definitions
• WEP: Struct Walkability — Field Walks over ReflectStruct and #[secret] Fields
• Gale Highlight Query — Customizable Syntax Highlighting
• WEP: Effect Reconstruction from CM Component Imports
• WEP: Byte Literals (b'x' and b"...")
• WEP: let ... else Statements
• WEP: Async Canonical Options for stream.read / stream.write
• WEP: Provider Metadata — Source-Bundled Package Artifacts
• WEP: Super Traits
• WEP: post-return for Synchronously-Lifted Exports
• WEP: Overload Resolution
• WEP: Variant Return Scalarization at NIR
• WEP: core:icu — Internationalization as One Facade
• WEP 2026-08-12: Declaration identity — one identity, one scope, one answer
• WEP: Compiler Fuzzing
• WEP: Power-Assert Coverage
• WEP: Literal Coercion as From<Array<…>>
• WEP: The Component Model map<K, V> Type
• WEP: Markup Dialect — Where the Top Level Lives
• WEP: Stream Copy Results
• WEP: wado lint — Corpus Checks
• Trait Resolution — One Order, Written Down
• WEP: JSON Web Tokens (core:jwt)
• WEP: Total Reflection — TypeInfo and match type
• WEP: Package File Exports — Assets and Submodules as API
• Static Call Resolution — One Walk, Four Answers
• WEP: Whole-File I/O (core:fs)
• WEP: Declared Absence
• WEP: Option and Result Value Methods
• WEP: String Views — StrSlice and AsStrSlice
• WEP: core:prng
• WEP: External Subcommands
• WEP: wasi:webgpu Bindings
• WEP: Loam — Lowered Operators, Ahead-of-time Modules
• WEP: Grog — Protocol Buffers for Wado
• WEP: Half-Precision Primitives (f16 / bf16)
• WEP: One Order per Type
• WEP: Eval — Compiling and Running Wado Source from a Test
• WEP: Spec Examples Quote Fixtures
• WEP: Test Coverage
• WEP: A Function Without with Performs No Effects
• WEP: HashMap
• WEP: Numeric Literal Suffixes
• Builtin Storage and Side-Effect Attributes
• WEP: Behavior Classes
• WEP: Contract Checks
• WEP: A Package's Default Interface Is Its Module

Standard library

• core:args
• core:base64
• core:benchmark
• core:cbor
• core:cli
• core:collections
• core:digest
• core:eval
• core:fs
• core:icu
• core:json
• core:jsonc
• core:jwt
• core:kiln
• core:log
• core:prelude
• core:prng
• core:router
• core:secure_random
• core:serde
• core:simd
• core:temporal
• core:url
• core:uuid
• core:value
• core:zlib
• WASI Standard Library
• WASI WebGPU Standard Library

Research notes

• Research: Assertions and Contracts in Other Languages
• Research: Callbacks across the Component Model Boundary
• Research: Component Model Pain Points
• Research: Code Generation Approaches
• Research: Float Comparison, and What Rust's Users Wish It Had Done
• Research: From/Into Conversion Trait Framework
• HTTP Routing Benchmark Performance Analysis
• Research: Language Survey Rubric
• Research: Language Survey — Almide
• Research: Language Survey — Hike
• Research: Language Survey — vibe
• Research: Splitting Large Libraries into Components
• ML Inference and WebGPU — Research Reference
• Operator Precedence Research
• Research: Rust Reference Semantics Edge Cases
• Research: Variadic Generics / Variadic Templates
• Wasm Component Model Async Primitives — Research Reference
• Wasm Stack Switching — Research Reference
• Wasmtime Profiler Characteristics Research

Other

• Wado Compiler
• DWARF Metadata for Wado
• Wado Formatter
• JitDump Profiling with Wasmtime
• Wado Optimizer
• The Wasm Loader (Security Model for external plugins)