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: `Reflect` Extensions and the `#[validate]` Attribute
• 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 `Reflect` and `#[secret]` Fields
• Gale Highlight Query — Customizable Syntax Highlighting
• WEP: Effect Reconstruction from CM Component Imports

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: Code Generation Approaches
• Research: From/Into Conversion Trait Framework
• Research: Splitting Large Libraries into Components
• 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
• Dependency Management — Implementation Plan
• DWARF Metadata for Wado
• Git Dependency Resolution — Design
• JitDump Profiling with Wasmtime
• Operator Precedence Research
• Wado Optimizer
• Wado
• WASI HTTP Implementation Status
• The Wasm Loader (Security Model for external plugins)