I'm building an experimental a JSX-like language that embraces more functional features --- has stronger type guarantees that TS, ADTs, and pattern matching, but it's also more familiar than alternatives like Elm (or, I would argue, even Rescript).

My current tag line is "JS with guardrails, without footguns"

https://chicory-lang.github.io/

https://github.com/chicory-lang/compiler