I like Elixir, Erlang. There is Lumen, an OS initiative to bring the BEAM to the browser (WASM).

Does Pony have such ambitions (I mean, the Pony team)?

My UC is an actor system in the browser and the ability to create a DSL created using the same language used in programming the actor system.

Pony is not dynamic but statically typed? Maybe it can be overcome by substituting actors since any actor can create any other actor?

Plus I'm interested in graphics. I googled but didn't see any examples of integrating either web or desktop graphics, like Skia.