This post has nothing to do with the Haskell or OCaml language. These languages simply be the most obvious ones in which to do language research. Oleg is descri

This post has nothing to do with the Haskell or OCaml language. These languages simply be the most obvious ones in which to do language research. Oleg is describing an embedded language. One could embed the language in C++, Python, Java, or any other language. It's just easier and more concise to express nuanced concepts in OCaml and Haskell and other functional languages.