It's killing me that there isn't a good enough solution to this right now.
Some quick notes:
[0] Idris compiles to C, Java, and JavaScript, but is considered experimental.
[1] Frege compiles to Java, and seems to have fairly nice Java interop. It may be possible to target iOS via RoboVM [2], and the browser via GWT [3].
I've yet to really dig into either of them yet, so I can't claim any level of confidence.
My current best hope is that GHC's ARM support will become mature enough someday before Sol goes supernova. (Or at least before the effective heat-death of the universe.)
(I'm still learning Haskell and kin, so I can't be of much help yet.)
Some quick notes:
[0] Idris compiles to C, Java, and JavaScript, but is considered experimental.
[1] Frege compiles to Java, and seems to have fairly nice Java interop. It may be possible to target iOS via RoboVM [2], and the browser via GWT [3].
I've yet to really dig into either of them yet, so I can't claim any level of confidence.
My current best hope is that GHC's ARM support will become mature enough someday before Sol goes supernova. (Or at least before the effective heat-death of the universe.)
(I'm still learning Haskell and kin, so I can't be of much help yet.)
[0] http://idris-lang.org
[1] http://frege-lang.org (appears to be down ATM)
[2] http://www.robovm.com
[3] http://www.gwtproject.org