Unfortunately they bury the meatier sales pitch in the documentation instead of putting it front and center on the home page: https://docs.onyxlang.io/book/philosophy/onyx.html and perhaps also https://docs.onyxlang.io/book/philosophy/wasm.html and https://docs.onyxlang.io/book/philosophy/memory.html

Basically, it's really all about certain WASM use cases, and everything right down to its memory management strategy is optimized for those cases.

It looks to be a nicer C ultimately.

It looks like it fits pretty squarely in the "if you want to do C level programming but you'd also like nice lambdas, sum types, and type inference"

Exactly. Three things that should be on the front page of any new language: 1) examples of syntax (check), 2) quick start instructions (check), 3) short description of motivation/rationale including what other languages were considered and why do they fall short?

Notably, this is the description on GitHub[0]:

>A modern language for WebAssembly.

[0] https://github.com/onyx-lang/onyx

Great question. It looks like a cool language, but why should I use it?