Editando Bytecode Java (sección)

== Manejo de lenguajes dinámicos ==
La máquina virtual Java provee cierto soporte para manejar lenguajes dinámicamente tipados. La mayoría de instrucciones de la JVM es de tipado estático, en el sentido de que las invocaciones de métodos verifican la “signatura” de estos en [[tiempo de compilación]], sin un mecanismo de demorar esta decisión al [[tiempo de ejecución]] ni de elegir el método de “dispatch” según un enfoque alternativo.<ref>{{cita web
| url=https://headius.blogspot.com/2007/01/invokedynamic-actually-useful.html
| título=InvokeDynamic: Actually Useful?
| fecha=3 de enero de 2007
|apellido=Nutter|nombre=Charles
| fechaacceso=25 de enero de 2008}}</ref>

[[Java Community Process|JSR]] 292 (''Supporting Dynamically Typed Languages on the Java™ Platform'')<ref>[http://www.jcp.org/en/jsr/detail?id=292 ver JSR 292]</ref> incluye una nueva instrucción <code>invokedynamic</code> para permitir la invocación de métodos basada en tipado dinámico. “Da Vinci machine” es un prototipo de implementación de máquina virtual que aloja las extensiones de la JVM con el objetivo de manejar estos lenguajes. Asimismo, la máquina virtual Java oficial, desde su versión 7, también incluye el opcode <code>invokedynamic</code>.