Javaバイトコード
Java仮想マシン (JVM) のJVM命令セットおよびメソッド呼び出し機構は、メソッド呼び出しのシグネチャをコンパイル時に型チェックする、静的型付けベースと言える。
JSR 292(JavaTM プラットフォーム上の動的型付き言語のサポート)により、(静的型検査ベースのinvokevirtualの代わりとして)動的型検査ベースの新規のinvokedynamic命令が追加された。Da Vinci Machineは、動的言語サポート向けのJVM拡張をホストするプロトタイプ仮想マシン実装である。Java SE 7をサポートする全てのJVMにもinvokedynamic命令が含まれる。