Voyd Lang v0.3.0, Effect types meet full stack web development

drew-y2 pts1 comments

Voyd DocumentationLightDarkSystem

LightDarkSystem

TABLE Of CONTENTS

On this page

Table of contentsVoydReleasesTasks And TimeVxWebBasicsCliSdkExternal PackagesSyntaxControl FlowFunctionsGenericsModulesVisibilityMutabilityDoc CommentsMacrosIntrinsicsGuidelinesRuntime Diagnostics- Overview- Objects- Value Types- Tuples- Enums- Unions- Intersections- Traits- Effects

Voyd

Voyd is a language for building WebAssembly programs with a small surface area,<br>strong type checking, and a runtime model that stays close to the generated<br>code.

fn fib(n: i32) -> i32<br>if n 2:<br>else:<br>fib(n - 1) + fib(n - 2)

pub fn main() -> i32<br>fib(10)<br>Copy

Design goals

Read like a high-level language.

Compile like a systems language.

Keep package boundaries and effects explicit.

Make macros, traits, and Wasm-facing code practical instead of ornamental.

Installation

npm i -g @voyd-lang/cli<br>Copy

The installed command is voyd.

Start here

Basics

CLI

SDK

Syntax

Functions

Control Flow

Tasks and Time

VX

Web

Modules

External Packages

Types Overview

Feature map

Structural and nominal types.

Traits with default methods.

Algebraic effects with typed handlers.

Same-run task concurrency and timer APIs built on the event loop.

Built-in VX render frames for browser/server UI runtimes.

Value-returning HTTP routes, typed request extraction, middleware, static<br>files, and VX-backed HTML responses through pkg::web.

Macros for surface-language features such as enum and for.

A package/module system built around src/ and pkg.voyd.

voyd types language traits effects built

Related Articles