Eu sou novo no Python. Estou familiarizado com Java, C / C ++ e OCaml. Eu entendo o Lambda Calculus e o Elementary Type Theory por causa de um curso de Linguagem de Programação que fiz na Universidade.

Armado com esse pano de fundo, eu tentei ler isso -http://www.cafepy.com/article/python_types_and_objects/python_types_and_objects.html

Em algum lugar, ele menciona isso:

(tipo 'objeto') é uma instância de (tipo 'tipo')(tipo 'objeto') é uma subclasse de nenhum objeto.(tipo 'type') é uma instância de si mesmo.(type'type ') é uma subclasse de (tipo' objeto ')

Eu não sou capaz de envolver meu pobre cérebro com isso:

(tipo 'objeto') é uma instância de (tipo 'tipo')(tipo 'tipo') é uma subclasse de (tipo 'objeto')

O que o bip está acontecendo aqui? O que eu quero ouvir são razões extremamente profundas sobre o que exatamente está acontecendo aqui, e porque as coisas são como são. Não há razões superficiais ou analogias por favor.