What's the Problem With the Type Checker?

All type annotations are now just strings, which is great for performance reasons and forwd reference problems. But projects like pidantic depend on that messes them up because they need to actly convert those strings back to the original objects that they represent. The dynamic typing side got really worried when they realized this was about to become the permanent thing. And why we stop. Now there's a peppep six forty nine, which tries to use closurs instead to kind of capture all the variables and everything, but not execute anything. Writes very much a function closer.