Something like Elm but that compiles to native binaries. It should come with Material Design level of HIG documentation and a tone of examples. The compiler and the Native/Kernel parts should be implemented in a modern systems programming language, maybe rust.
Why elm? It looks more like a DSL than a real language and a verbose one at that. I'm looking at some of these examples on their website, like the random number generator, and wondering why it takes so much code to print a random number to the screen.
A website
Oh, come on. html/css+js is capable, but the programming interface sucks. Surely, you can at least imagine something better.