Try the Roc language https://www.roc-lang.org/

It's at a very early stage of development but looks promising

A few commits recently.

There are lots of competing MLs you can use instead:

- F# (Fable)

- ReasonML

- OCaml (Bucklescript)

- Haskell

- PureScript

IMO the problem with Elm was actually The Elm Architecture.

What's "the Elm architecture"?

A simple UI programming pattern, with a circular, unidirectional data flow. It is very rigid by design, to be side-effect free, functional, unidirectional:

https://guide.elm-lang.org/architecture/

I'm no frontend guy, but I think it did/was inspire(d) react (redux?) maybe. Corrections on this very welcome

Yes it was too rigid. Too much boiler plate. The design space of functional UI is still being explored.

Correct - Elm was one of several inspirations for Redux:

- https://redux.js.org/understanding/history-and-design/prior-...

OCaml / Reason (Melange)

It's been a number of years but my understanding was they kind of killed all the momentum it had by removing support for custom operators which broke everyone's code?

opa, along the same lines - really nice ML based language for isomorphic full stack web development.

Yeah, Opa was wildly ahead of its time, I actually just wrote a top level comment about it. Basically Next.js+TypeScript+modern ECMAScript features, but in 2011.