[Python-ideas] Optional static typing -- the crossroads

[Greg Ewing]

Andrey Vlasovskikh wrote:
> There is a problem in static analysis of current types that are instances of
> abc.ABCMeta or types that just define their own __instancecheck__ /
> __subclasscheck__. Static analyzers cannot infer in general case what
> attributes of an instance / subclass do these methods check, because their
> body can be arbitrarily complex.

However, I'd be worried about having two very similar
but subtly different sets of type objects floating around.
That just seems like a recipe for massive confusion.

-- 
Greg