I agree with you, and did exactly that by generating C++ from typed Python -- https://www.oilshell.org/blog/2022/05/mycpp.html https://www.oilshell.org/blog/202

I agree with you, and did exactly that by generating C++ from typed Python -- https://www.oilshell.org/blog/2022/05/mycpp.html https://www.oilshell.org/blog/2022/05/mycpp.html However the usual counter-argument is that you're inheriting horrible C/C++ semantics, which often but not always true. That was for the implementation language of Oils, not the shell language we're exposing. So I'd say it's a very useful and fast technique for tools, but not for future-facing languages that you want people to use :)