zlacker

ReasonML is a pretty decent choice. Small learning curve, JS interop, fast compilation, functional goodies.

Plus a thing called "Structural typing" that gives you the flexibility of dynamic typing without losing the guarantees from static typing.

>>leonid+(OP)
Plus, if they are doing front-end stuff, it's my understanding that ReasonML will also output native code, which should theoretically go a long way to making a OS-native app significantly easier right?

>>Fridge+D
Not really, most of the time you're probably interacting with the DOM, which is bound to the browser environment.

Unless you use some framework that also works with native widgets or similar components, you're not getting much advantage.