Lumina is a statically typed, web-native language that compiles to JavaScript and WebAssembly. 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.
Nice! I'm working on a similar language in some ways.
One decision I made is to specifically not compile to JS. JS/Wasm interop is good enough with Wasm GC that I made the choice to focus on Wasm-only constraints and semantics and not worry about how things like the types being wrong, or how ints translate to JS, how to handle null vs undefined, etc. JS GCs collect objects and cycles across the Wasm boundary, and with the JS string built-ins you can handle strings efficiently.
I couldn't load your demo, btw.
The first thing you can do is improve your "first impression" in your docs. None of the references to other pages are clickable hyperlinks; which markdown supports without much effort. (Pretty much got me to give up reading because it's the 21st century and hyperlinks have been around for at least 30 years.)
The second thing is to have a general overview of the features of the language on the first page that's a little more then just hello world. Have a loop, a variable, ect. I shouldn't have to "work" to get a feel for what's different and special about your language compared to vanilla Javascript, Typescript, Rust (via WASM,) C# (via WASM) and the countless other transpiled or WASM-compiled languages.
And for any ML inspired language, OCaml, Haskell, Grain, Roc.
Especially Grain, as it was also developed as an ML for WebAssembly.
Have you tried Scala? It checks all the boxes, and is a mature language. The reactive UI runtime is provided by the library Laminar [1].
Technically its type inference is not HM but it's as expressive. In particular it has GADTs and HKTs, which I saw in your docs.
I wonder what you feel is missing from Scala (its .js/Wasm version) that Lumina provides?
[1] https://laminar.dev/
Do you have benchmarks of the Wasm performance compared to other languages?
As a longtime Typescript user working more recently in Rust, I appreciate the syntax and overall language design.
Like others in the comments, I’m wondering where this fits into the existing ecosystem. What kinds of problems does Lumina solve especially well vs. Typescript, or a WASM-compatible language?
Or even ReasonML
on the examples page, the example for string interpolation is a simple function example
Seems like a front-end bug. Click on the tab brings up the right example.
https://nyigoro.abrdns.com/#lumina