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

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

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

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

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

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

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