Я новичок в Python. Я знаком с Java, C / C ++ и OCaml. Я понимаю лямбда-исчисление и элементарную теорию типов благодаря курсу языков программирования, который я прошел в университете.

Вооружившись этим фоном, я попытался прочитать это -http://www.cafepy.com/article/python_types_and_objects/python_types_and_objects.html

Где-то внизу он упоминает это:

(тип 'объект») является экземпляром (тип 'тип')(тип 'объект») является подклассом без объекта.(тип 'тип') это пример самого себя.(тип'тип') является подклассом (тип 'объект ")

Я не могу обернуть свой бедный мозг вокруг этого:

(тип 'объект») является экземпляром (тип 'тип')(тип 'тип') является подклассом (тип 'объект ")

Что за шум здесь происходит? То, что я хочу услышать, - это чрезвычайно глубокие причины того, что именно здесь происходит, и почему все так, как они есть. Никаких мелких причин или аналогий, пожалуйста.