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

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-anybody-should-care.html 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.