JavaとPythonの型チェック

Question

JavaとPythonが型チェックを実装する方法の違いは何ですか？

抽象データ型の実装方法はどうですか？

Answer 1

Javaが行います。

Pythonではありません。

Pythonは強く動的に型指定されます。オブジェクトを作成すると、そのタイプのオブジェクトになります。しかし、そのオブジェクトを指し示す変数は、どの型のオブジェクトでも指すことができ、そのオブジェクトが指しているオブジェクトの型を知る必要はありません。コメント欄で質問をもとに

編集：

これは非常に簡単に、辞書を期待するほとんどの機能が使用することができ、クラス、またはリスト、または別のタイプを定義することができます。したがって、特別な種類のリストを作成したい場合は、それを反復処理してオブジェクトをカスタム順序で返します。つまり、__getitem__、__iter__などのメソッドをサポートするクラスを宣言するだけです。クラスはまるでそれがリストであるかのようにそれを使います。

Pythonの抽象基本クラスについては、http://docs.python.org/glossary.html#term-abstract-base-classを参照してください。使用時には、Javaの抽象基本クラスと非常に似ています。

Answer 2

Pythonは、Rubyのように、動的タイピングのスタイルであるDuck Typingを使用します。 Javaは明らかに静的に型付けされており、型チェックはコンパイル時に行われます。