私はPythonが初めてです。Java、C/C++、および OCaml に精通しています。大学で取ったプログラミング言語コースのおかげで、ラムダ計算と基本的な型理論を理解しています。
この背景で武装して、私はこれを読もうとしました - http://www.cafepy.com/article/python_types_and_objects/python_types_and_objects.html
どこかで、彼はこれについて言及しています:
- (type 'object') は (type 'type') のインスタンスです
- (type 'object') は no object のサブクラスです。
- (type 'type') はそれ自体のインスタンスです。
- (type'type') は (type 'object') のサブクラスです
私は貧弱な頭脳をこれに巻き込むことができません:
- (type 'object') は (type 'type') のインスタンスです
- (type 'type') は (type 'object') のサブクラスです
ここで何が起こっているのですか?私が聞きたいのは、ここで正確に何が起こっているのか、そしてなぜ物事がそのようになっているのかについて、非常に詳細な理由です. 浅い理由や類推はご遠慮ください。