Voyd Programming Language v0.2.0 – Effect typing improvements, trailing closures

drew-y1 pts0 comments

Voyd DocumentationLightDarkSystem

LightDarkSystem

TABLE Of CONTENTS

On this page

Table of contentsVoydReleasesTasks And TimeVxBasicsCliSdkSyntaxControl 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

Modules

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.

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

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

voyd language types traits effects built

Related Articles