Voyd – A WASM first programming language with effect typing
Seven years of solo work building effect-typed WASM between Rust and TypeScript.
Most languages make you choose: safety or the web. Lumina doesn't. Lumina is a statically typed, web-native language with HM type inference, algebraic types, and trait-based polymorphism, compiled to JavaScript and WebAssembly. Build reactive UIs, WebGPU workloads, and WASM modules in the same language, with the same type system.
Built-in reactive runtime and dual JS/WASM targets challenge React and TypeScript dominance.
Frontend developers seeking type safety without TypeScript complexity
Rescript · Gleam · Elm
It has HM type inference, algebraic types, traits, a reactive UI runtime, a REPL, an LSP, and a browser demo written in Lumina itself. The current demo runs without React and uses a Vite plugin that compiles .lm files directly for the browser.
GitHub: https://github.com/nyigoro/lumina-lang npm: https://www.npmjs.com/package/lumina-lang
I’d love feedback on the language design, the web-native direction, and the developer experience.
Seven years of solo work building effect-typed WASM between Rust and TypeScript.
Endianness in the type system is clever, but another language in a saturated field.
Design-by-contract baked into grammar for a no-GC systems language.
Scripting language with native Go interop, compiles to standalone binaries.
Compile-time tensor shape checking beats PyTorch's runtime dimension errors.
Korean keywords for programming when English dominates every other language.