You can use static type analysers and runtime type profilers to add type annotations to a legacy codebase, but the interesting bit would be if you're built on top of a large untyped codebase you don't control like, say, Django, how far it can go.
replyI would imagine that the LLM has a much easier time adding correct type annotations to old Python code than it does translating it to C.
replyIn my experiments with this, maybe, sorta, it'll do some AST stuff then it'll go "dang this shit is dynamic AF" then suggest a static type inference tool, then a runtime type profiler.
replyWhich honestly, is the right approach.