Entorno de ejecución de lenguaje dinámico

El Dynamic Language Runtime ( DLR ) de Microsoft se ejecuta sobre el Common Language Runtime (CLR) y proporciona servicios de lenguaje informático para lenguajes dinámicos . Estos servicios incluyen:

• Un sistema de tipos dinámico , que será compartido por todos los lenguajes que utilicen los servicios DLR.
• Despacho de métodos dinámicos
• Generación dinámica de código
• API de alojamiento

El DLR se utiliza para implementar lenguajes dinámicos en el .NET Framework , incluidos los proyectos IronPython e IronRuby .

Dado que las implementaciones de lenguajes dinámicos comparten un sistema subyacente común, debería ser más fácil que interactúen entre sí. Por ejemplo, debería ser posible usar bibliotecas de cualquier lenguaje dinámico en cualquier otro lenguaje dinámico. Además, la API de alojamiento permite la interoperabilidad con lenguajes de línea de comandos de tipado estático como C# y Visual Basic .NET .

El proyecto Dynamic Language Runtime de Microsoft fue anunciado por Microsoft en MIX 2007. ^{[ 2 ] [ 3 ]}

Microsoft lanzó la versión beta 0.9 de .NET DLR en noviembre de 2008, ^{[ 4 ]} y la versión final 0.9 en diciembre de 2008. La versión 1.0 se lanzó en abril de 2010. En julio de 2010, Microsoft cambió la licencia de DLR de la Licencia Pública de Microsoft a la Licencia Apache 2.0 . ^{[ 5 ]} Con el lanzamiento de .NET 4 , también en abril de 2010, DLR se incorporó al propio .NET Framework. ^{[ 6 ]}

El proyecto de código abierto DLR, alojado en GitHub , cuenta con algunas características adicionales para los desarrolladores de lenguajes. Tras su lanzamiento en julio de 2010, el proyecto experimentó poca actividad durante algunos años. Un desarrollador de Microsoft que trabajó en IronRuby interpretó esto como una falta de compromiso por parte de Microsoft con los lenguajes dinámicos en el .NET Framework. ^{[ 7 ] [ 8 ]} Sin embargo, desde 2016/17 se ha mantenido una actividad regular, lo que ha dado lugar a varias mejoras y actualizaciones.

En 2007, Microsoft planeó inicialmente usar el DLR para el próximo Visual Basic 2010 (VB 10.0) y Managed JScript ( ECMAScript 3.0), así como Python y Ruby. ^{[ 2 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ]}

El trabajo del DLR sobre Ruby y Python dio como resultado IronRuby , una implementación .NET del lenguaje Ruby , e IronPython . ^{[ 2 ]}

En agosto de 2009, Microsoft anunció que ya no tenía planes de implementar Managed JScript en el DLR. ^{[ 13 ]} Posteriormente, Fredrik Holmström contribuyó de forma independiente con una implementación de JavaScript para el DLR que denominó "IronJS" siguiendo la tradición de nombres de IronPython e IronRuby.

Al igual que C# , Visual Basic puede acceder a objetos de lenguajes dinámicos construidos sobre el DLR, como IronPython e IronRuby . ^{[ 14 ] [ 15 ]}

PowerShell 3.0, lanzado en Windows 8 , se actualizó para usar DLR. ^{[ 16 ]}

IronScheme , una implementación de Scheme , ^{[ 17 ]} planeaba basarse en el DLR. Esta idea se abandonó porque la rama del DLR utilizada por el proyecto se desincronizaba con la rama principal , y también porque (según el coordinador del proyecto) la versión actual del DLR en ese momento no podía soportar la mayoría de los requisitos de Scheme. ^{[ 18 ]}

El Dynamic Language Runtime se basa en la idea de que es posible implementar especificidades del lenguaje sobre un árbol de sintaxis abstracta genérico e independiente del lenguaje , cuyos nodos corresponden a una funcionalidad específica común a muchos lenguajes dinámicos. ^{[ 19 ]} Esta arquitectura se sustenta en la idea de que el número de construcciones elementales del lenguaje que tendrían que implementarse en la pila genérica debería ser inherentemente limitado. ^{[ 20 ]} El DLR genera dinámicamente código que corresponde a la funcionalidad expresada por estos nodos. El compilador de cualquier lenguaje dinámico implementado sobre el DLR debe generar árboles abstractos del DLR y entregárselos a las bibliotecas del DLR.

El DLR proporciona DynamicSiteobjetos actualizados dinámicamente que almacenan en caché la tarea de vincular métodos a objetos. Dado que el tipo de un objeto —así como los miembros que contiene— en lenguajes dinámicos puede cambiar durante la vida útil de un programa, una invocación de método debe verificar la lista de métodos para comprobar si la invocación es válida. DynamicSiteLos objetos representan y almacenan en caché el estado del objeto y sus métodos; cualquier actualización del objeto DynamicSitetambién se refleja en los objetos. El DLR enruta todas las invocaciones de métodos a través de los DynamicSiteobjetos, que luego realizan una búsqueda y vinculación rápidas del método con la implementación real. ^{[ 21 ]}

A diferencia de otros esfuerzos como la máquina virtual Parrot (sin dependencias) o Da Vinci Machine (construida sobre la JVM de Java agregando nuevos bytecodes al conjunto de instrucciones de la JVM ), DLR se construye sobre el Common Language Runtime existente , la máquina virtual .NET Framework . ^{[ 22 ]}

• Da Vinci Machine : un proyecto iniciado en Sun Microsystems que aportó soporte para lenguajes dinámicos a la plataforma Java a nivel de la máquina virtual Java (JVM).
• Máquina virtual Parrot

• Descripción general del entorno de ejecución de lenguajes dinámicos
• dlr en GitHub