I think as someone who has evaluated functional Typescript, ReasonML, and purescript, I can say that ReasonML provides the best developer experience (interop wi

I think as someone who has evaluated functional Typescript, ReasonML, and purescript, I can say that ReasonML provides the best developer experience (interop with the JS/TS ecosystem) while providing the next generation of type safety and composability for backend development. Unfortunately the ReScript branding is probably going to be a lot more confusion (more-so than the dual bucklescript/reasonml branding). To make it even more confusing, ReasonML technically isn't dead (only Reasonml.org is) and is now a third syntax (in addition to rescript and ocaml). Also I don't know why these languages aren't being promoted more for backend development as it's a perfect fit for the paradigms espoused in https://pragprog.com/titles/swdddf/domain-modeling-made-functional/ https://pragprog.com/titles/swdddf/domain-modeling-made-func.... I would say Ocaml/ReasonML is even more ergonomic than F# (polymorphic variants are great for composable error handling). Even in the current state, ReasonML can be used to progressively enhance a JS or even typescript codebase with no need to fully buy into a rewrite or even heavy toolchain modifications.