You want to translate fully type annotated python to C++ to be able to compile as a stand-alone program? From what I’ve read in the past inferring the types is

You want to translate fully type annotated python to C++ to be able to compile as a stand-alone program? From what I’ve read in the past inferring the types is the hard part (the scheme stuff I saw used abstract interpretation) then just did a relatively simple translation step to end up with C. Well, continuations were also troublesome as were dependency graphs but IIRC that’s because they needed types to compute them. So, yeah, easy peasy if you already have the types.