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)