例えばJavaは静的型付けを採用しているが、処理によっては動的な型情報の取得を必要とするものもあり、それらは動的型付けの一形態とみなせる。
例如Java使用静态型别，但某些运算需要支援执行时期的型别测试，这就是动态型别的一种形式。