This paper introduces a vision of Miking, a language framework for constructing ecient and sound language environments and compilers for domain-specic modeling languages. In particular, this language framework has three key objectives: (i) to automatically generate interactive programmatic modeling environments, (ii) to guarantee sound compositions of language fragments that enable both rapid and safe domain-specic language development, (iii) to include rst-class support for self-learning compilation, targeting heterogeneous execution platforms. The initiative is motivated in the domain of mathematical modeling languages. Specically, two dierent example domains are discussed: (i) modeling, simulation, and verication of cyber-physical systems, and (ii) domain-specic dierentiable probabilistic programming. The paper describes the main objectives of the vision, as well as concrete research challenges and research directions.CCS Concepts • Theory of computation → Program semantics.