Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

µDewy and host interoperability

Dewy currently lowers to µDewy as its primary backend. µDewy is a strict, minimal subset designed for bootstrapping; its runtime values occupy 64 bits and its type annotations are intentionally lightweight.

Dewy exposes typed forms of µDewy's memory, allocation, shift, unsigned operation, and supported syscall intrinsics. Linux x86-64 syscall intrinsics are available today. A stable foreign-function interface and portable host capability selection remain in development.

The µDewy compiler supports x86-64 Linux, WebAssembly, RISC-V, AArch64, and C backends. Dewy's standard prelude does not yet provide equivalent host behavior on every target.