That's what ReasonML is? Not quite "exploding" in popularity, but perhaps more popular than Ocaml itself.