Just started to watch this presentation and it strikes me that what they do with C++ as a meta language resembles a lot what Haskell programmers do with Haskell and EDSLs.

The note about overloading the comma operator remembers me the idea that monads (and the do notation) gives us a programmable semicolon.

Here's an example of a fun variant of the idea where something that looks like BASIC is embedded in Haskell: http://augustss.blogspot.be/2009/02/more-basic-not-that-anyb...

The same author also made bindings to LLVM that still is in the same realm.