language parallax

In the last few months of research, I’ve seen a few mentions of generating interpreters from metamodels… but I’m still trying to get a handle on the various schools of thought.

I’m not quite sure of the right google search string(s) I should use to keep an eye on this… Does anyone have suggestions?

I did encounter Markus Scheidgen’s blog Meta Bubble which discusses this. His post Easy Language Interpreters, for instance, talks about using modeling techniques to implement the operational semantics of a language.

When I first encountered ML (MetaLanguage) many years ago, I thought I was missing something because what I was expecting to find was something a lot more like this new generation of metamodeling. What I want are implementations of the Beta reductions declared in code almost exactly as they are in the literature. Is this possible now? It sounds like it’s just around the corner…