I came across this briefly a few months ago when it was first announced, but I didn't realize just how powerful this idea is until I tried moving to TypeScript and running into its many features[1]. If TypeScript is an improvement over JavaScript, ReasonML seems like it might be the next step towards (pragmatic) perfection. It's very exciting!

[1] https://github.com/Microsoft/TypeScript/wiki/FAQ