Python类型系统 - 对象与类型

Question

我是Python的新手.我熟悉Java,C/C++和OCaml.由于我在大学学习的编程语言课程,我理解Lambda微积分和初等类型理论.

在这样的背景武装,我想读这- http://www.cafepy.com/article/python_types_and_objects/python_types_and_objects.html

在某处,他提到了这一点:

• (类型'对象')是(类型'type')的实例
• (类型'对象')是无对象的子类.
• (type'type')是它自己的一个实例.
• (type'type')是(类型'对象')的子类

我无法将这个可怜的大脑包裹起来:

• (类型'对象')是(类型'type')的实例
• (类型'type')是(类型'对象')的子类

这里发生了什么哔哔声？我想听到的是关于这里到底发生了什么的极其深刻的原因,以及为什么事情就是这样.请不要浅薄的理由或类比.

Answer 1

它是专门谈论对象的type。对于type，所有类型都继承自<type 'type'>。

我相信其他陈述只是指出这<type 'type'>是一个object; 我进一步往下看时想到的一个例子：

t = list.__class__ # <type 'type'>
t.__bases__ # (<type 'object'>,)