Reluctant to say this in the current climate of "yay static typing" but I am starting to find some things easier to express in SML than in scheme. The type driv

Reluctant to say this in the current climate of "yay static typing" but I am starting to find some things easier to express in SML than in scheme. The type driven pattern matching is a really big thing. Currently liking lisp for exploratory programming and ML for precise communication of fully formed ideas to the machine. Anyone happen to know a lisp/ML pair that target the same VM/IR for seamless interop between the two? (in this context ML is metalanguage, ideally StandardML, though ocaml/miranda/haskell are the same sort of idea)