Back to browse
Voyd – A WASM first programming language with effect typing

Voyd – A WASM first programming language with effect typing

by drew-y·Mar 31, 2026·2 points·0 comments

AI Analysis

●●●BangerWizardryBig BrainBold Bet

Seven years of solo work building effect-typed WASM between Rust and TypeScript.

Strengths
  • Effect system encodes side effects directly in function types
  • WASM as first-class compilation target not an afterthought
  • Hybrid nominal/structural typing offers flexible data modeling
Weaknesses
  • New language means minimal ecosystem and library support
  • Must compete with TypeScript and Rust for developer mindshare
Target Audience

Systems programmers and web developers wanting type safety

Similar To

TypeScript · Rust · Koka

Post Description

Super excited to finally share my passion project for the last 7 years.

It’s a programming language focused on web development. It features a hybrid structural/ nominal type system with support for effects.

I’ll be around to answer any questions. Thanks!

Similar Projects

Developer Tools●●Solid

Lumina – a statically typed web-native language for JavaScript and WASM

Built-in reactive runtime and dual JS/WASM targets challenge React and TypeScript dominance.

WizardryBold Bet
light_ideas
202mo ago