Yes. "With Javascript" I mean via Typescript or Flow, you can have some static type-checking. You can use Sweet.js for macros with Javascript, but you can't use both of these tools together.

I'm unfamiliar with Ocaml, Scala and Haskell but OK.