I think PureScript[0] is a great contender:
- It generates beautiful javascript code
- It can separate PureScript modules into nodejs modules
- It has an even stronger type system than elm . For example, typeclasses
- has great interop with javascript
- Because it can compile to node.js modules, and can use node.js libraries, it's actually possible to write a Universal app (I tend to avoid isomorphic, as it means something totall different in pure functional programming languages like PureScript. (https://github.com/paf31/purescript-isomorphisms)).
One issue I have had so far is that once your project gets big, the compile times are pretty annoying. But apart from that; a great language!