Wado

Documentation

← Blog

Language reference

• Wado Cheatsheet
• Design Philosophy
• Wado Language Specification

Wado Evolution Proposals

• WEP: Deterministic Math Library (libm) Integration
• WEP: Tagged Template Literals for Compile-Time Execution
• 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 Stores
• 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: WebIDL Binding Generator (wado-from-idl)
• 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) Evolution Plan
• WEP: Resource Inheritance and Downcast (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 Re-architecture — TypeSystem / Annotate / Reify
• WEP: Constant Object Globalization
• WEP: NirExprKind::ArrayLiteral — a NIR-Materialized List Node
• WEP: Redesign builtin::array into a First-Class Array<T>
• WEP: Diagnostic Reason Chains for Type and Trait Errors
• WEP: Optimizer Remarks for Missed Optimizations
• WEP: CBOR Standard Library (core:cbor)
• WEP: Temporal Standard Library (core:temporal)
• WEP: NIR Rewrite Engine — Detailed Design
• WEP: NIR Skeleton Arena (Layer 1)
• WEP: Worklist-Driven NIR Rewrite Engine
• WEP: Compile-Time Data Providers (bundled ICU as the first consumer)
• WEP: Jade — JSON Schema for Wado
• WEP: Reference Representation and Mutation Write-Back
• WEP: Library-Defined Derivation over Reflect*
• WEP: Symbol Notation
• WEP: The Live ValueGraph — ValueGraph as the Pure-Value IR
• 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: Elaborator God-Object Dismantlement — Decl Signatures, Scope, and the Body Walker
• 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 2026-07-28: Structured fq names
• WEP 2026-07-29: Name namespaces as types
• WEP: Overload Resolution

Standard library

• core:args
• core:base64
• core:benchmark
• core:cbor
• core:cli
• core:collections
• core:digest
• core:json
• core:json_nsd
• core:kiln
• core:prelude
• core:router
• core:serde
• core:simd
• core:temporal
• core:url
• core:uuid
• core:value
• core:zlib
• WASI Standard Library

Research notes

• Research: Callbacks across the Component Model Boundary
• Research: Code Generation Approaches
• Research: From/Into Conversion Trait Framework
• HTTP Routing Benchmark Performance Analysis
• Research: Splitting Large Libraries into Components
• 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
• JitDump Profiling with Wasmtime
• Wado Optimizer
• The Wasm Loader (Security Model for external plugins)