[darkkindness]

This might interest you (and anyone reading this thread): AnyDSL is a language framework that separates the concerns for both viewpoints (designing for expressivity, designing for abstracting 'complex ideas') but also that of the machine expert (designing for efficiency). I'm not affiliated with AnyDSL, I'm just parroting the blurb on its main site[0]:

> When developing a DSL, people from different areas come together:

> - the application developer who just wants to use the DSL,

> - the DSL designer who develops domain-specific abstractions, and

> - the machine expert who knows the target machine very well and how to massage the code in order to achieve good performance.

> AnyDSL allows a separation of these concerns using

> - higher-order functions,

> - partial evaluation and,

> - triggered code generation.

[0] https://anydsl.github.io/