ReasonML is ML (OCaml) with JS syntax. OCaml has more features than SML. So I'm not sure what you're after. And regarding "the dynamic parts should just go awa

ReasonML is ML (OCaml) with JS syntax. OCaml has more features than SML. So I'm not sure what you're after. And regarding "the dynamic parts should just go away": No, please! And I'm saying this as a full time Scala dev doing "pure FP" in my day job who loves static types. But I also really like the "super-dynamic" parts of JS. I think such features should get integrated into some static lang. This would need some thinking though. The "old" static languages can't do that easily. To bring an example of what I mean: One can see JS objects as "extensible records". Adding and removing props on a prototype looks for example like "a super-dynamic" feature. But "extensible records" are also doable in static langs. I think more of those "super-dynamic" features are actually doable in a static context. Extending current FP languages with all kind of such features would be quite desirable, imho. "Why not have both?" :-)