In terms of just web programming, Elm is amazingly close to my dream. I have some beefs with the language (Ports are unintuitive, generics higher kinded polymor

In terms of just web programming, Elm is amazingly close to my dream. I have some beefs with the language (Ports are unintuitive, generics higher kinded polymorphism are non-existent, haskell syntax), but they are pretty small beans. The big part that I find missing is the cross platform abilities (I'm talking web, mobile, and desktop platforms without the slow/hacky do-everything-in-html5 methods). And to be honest, if I were to start from scratch, I'd probably be re-implementing 90% of Elm anyway. Which maybe says to me that instead of starting from scratch, I should just join the Elm community and start hacking on the compiler backends (for compiling to platform-native code) and front end libraries (to target native UI framework code), and hope the language grows closer to what I would like.