Как проверить действующие типы в Python

В Python типы сами по себе являются обычными объектами. То есть, например,

type('hello') == str
type(5) == int
type(int) == type
type(type) == type

все True.

Итак, чтобы сделать это, найдите все переменные в области видимости, которые указывают на объекты типа type.

Чтобы получить все объекты в области действия посмотрите на оба dir() (что исключает встроенные имена, такие как int), и dir(__builtins__) (встроенные имена) locals() (переменные, определенные в текущей функции), globals() (переменные, определенные вне функций в текущем модуле) и vars(__builtins__) (встроенные имена). Это все словари из name => object, так что объедините их все и получите объекты:

objs = dict(vars(__builtins__), **dict(globals(), **locals())).values()

и фильтровать только типы:

types_in_scope = [o for o in objs if isinstance(o, type)]

Обратите внимание, что это только те переменные в области видимости, которые указывают на типы. Вполне возможно иметь ссылку на объект, тип которого не назначен ни одной переменной в области видимости. Например:

def foo():
    class Foo:
        pass
    return Foo()
x = foo()

Может быть, вы могли бы поискать модуль types? См. документацию здесь: http://docs.python.org/library/types.html. И вы также можете получить текущие переменные в своей программе, например:

In [9]: def spam():
            x=5
            y=6

In [10]: spam.func_code.co_varnames
Out[10]: ('x', 'y')