I've worked in a number of spaces that you mentioned. Parser generators are awful, which is why my preferred parser technology are parser combinators. They occu

I've worked in a number of spaces that you mentioned. Parser generators are awful, which is why my preferred parser technology are parser combinators. They occupy a nice space between parser generators and handwritten recursive descent parsers. Meta programming is an excellent target, but it usually needs to be directly baked into the language. The closest system I've seen to a nice language agnostic close to meta programming system is Jetbrains MPS and Spoofax Language Workbench. Last time I checked, MPS is mostly dead and Spoofax is only used my programming language researchers. For the Arduino programming stuff, I currently maintain a domain specific functional reactive programming language for Arduinos called Juniper: https://www.juniper-lang.org/ https://www.juniper-lang.org/ However the intersection between people who do Arduino programming and functional programmers is quite small. Also my interest has waned on and off over the years which means there have been long gaps between releases. I just work on it for fun mostly.