Dynamic Language Runtime
|Developer(s)||Microsoft Dynamic Language Runtime Team|
1.0 / April 16, 2010
|Operating system||Microsoft Windows, Debian, Ubuntu|
|License||Apache License, v2.0|
- A dynamic type system, to be shared by all languages using the DLR services
- Dynamic method dispatch
- Dynamic code generation
- Hosting API
By having several dynamic language implementations share a common underlying system, it should be easier to let these implementations interact with one another. For example, it should be possible to use libraries from any dynamic language in any other dynamic language. In addition, the hosting API allows interoperability with statically typed CLI languages like C# and Visual Basic .NET.
Microsoft shipped .NET DLR 0.9 beta on the 26 November 2008, and final 0.9 on 10 December 2008. Version 1.0 shipped on April 16, 2010. On 16 July 2010, Microsoft changed the license of the DLR from the Microsoft Public License to the Apache License, v2.0. With the release of .NET 4, also in April 2010, DLR was incorporated into the .NET Framework itself.
The open source DLR project hosted on CodePlex has a few additional features for language implementers, but there has been no activity on the project since the July 2010 release, which could be linked to what some, including a Microsoft developer who worked for IronRuby, saw as a lack of commitment from Microsoft to dynamic languages on the .NET Framework.
In 2007, Microsoft planned to use the DLR for the upcoming Visual Basic 2010 (VB 10.0) and Managed JScript (ECMAScript 3.0). However, as of August 2009, Microsoft has no more plans to implement Managed JScript (ECMAScript 3.0) on the DLR. Like C#, Visual Basic can access objects from dynamic languages built on the DLR such as IronPython and IronRuby.
IronScheme, an upcoming Scheme implementation, was planning to build upon the DLR. This idea was abandoned because the DLR branch used by the project became out of sync with the trunk, and also because (according to the project coordinator) the current version of the DLR at that time could not support the majority of Scheme's requirements.
The Dynamic Language Runtime is built on the idea that it is possible to implement language specificities on top of a generic language-agnostic abstract syntax tree, whose nodes correspond to a specific functionality that is common to many dynamic languages. This architecture is backed by the idea that the number of elementary language constructs that would have to be implemented on the generic stack should be inherently limited. The DLR dynamically generates code corresponding to the functionality expressed by these nodes. The compiler for any dynamic language implemented on top of the DLR has to generate DLR abstract trees, and hand it over to the DLR libraries.
The DLR provides dynamically-updated
DynamicSite objects that cache the task of binding methods to objects. Since the type of an object—as well as the members it contains—in dynamic languages can change during a program lifetime, a method invocation must check the method list to see if the invocation is a valid one.
DynamicSite objects represent and cache the state of the object and its methods; any update to the object is reflected in the
DynamicSite objects as well. DLR routes all method invocations via the
DynamicSite objects, which then performs a fast lookup and binding of the method with the actual implementation.
In contrast to other efforts like the Parrot virtual machine (with no dependencies) or Da Vinci Machine (built on Java's JVM by adding new bytecodes in the JVM instruction set), the DLR is built on top of the existing Common Language Runtime, the .NET Framework virtual machine.
- Da Vinci Machine, a project at Sun Microsystems (now Oracle Corporation) which brought support for dynamic languages to the Java Platform at the Java virtual machine (JVM) level.
- Parrot virtual machine
- Hugunin, Jim. "A Dynamic Language Runtime (DLR)". Retrieved 2007-06-21.
For the short term, our focus is on using a small number of languages to drive the first wave of DLR development where we can work closely and face-to-face with the developers in order to iron out the worst kinks in the DLR design. After this initial phase, we want to reach out to the broader language community.
- Viehland, Dino (2008-01-15). "Roadmap for IronPython 2.0". Retrieved 2008-02-09.
We don't really have a document like this but the general goal is to ship IronPython 2.0 by the end of the year. For the DLR its self the plan is to ship a v1.0 around the same time as IronPython 2.0.
- "Microsoft Tires of IronRuby; Jimmy Schementi Jumps Ship". rubyinside.com. 2010-08-07. Retrieved 2012-02-26.
A year ago the team shrunk by half and our agility was severely limited. [..] Overall, I see a serious lack of commitment to IronRuby, and dynamic language[s] on .NET in general.
- "Microsoft's Dynamic languages are dying". i-programmer.info. 2010-08-10. Retrieved 2012-02-26.
Without the final push to get the languages working under Visual Studio and integrated with the designer both Iron languages are probably dead - and Microsoft seems to have lost the will to make them a success.
- "Managed JScript announced". Retrieved 2007-05-04.
- "What the heck is "VBx"?". 2007-05-01. Retrieved 2009-08-12.
- "Putting Mix, Silverlight, the CoreCLR and the DLR into context". 2007-05-01. Retrieved 2008-08-12.
- "Introducing Visual Basic 10". infoq.com. 2007-05-04. Retrieved 2009-08-12.
VB 10 takes advantage of a Silverlight feature called the Dynamic Language Runtime or DLR
- Chiles, Bill (2009-06-01). "Future of Managed JScript (IronJScript)?". Retrieved 2009-08-12.
The DLR JScript was experimental for informing the design of the DLR (expression trees, interop, callsites, hosting, etc.). The JS we released with asp futures and the Silverlight dynamic sdk became very old and unserviceable as the DLR continued evolving for release in CLR 4.0. Unfortunately, there are no plans at this time to develop and release a DLR-hostable JScript.
- "What's New in Visual Basic 2010". Microsoft. 2009. Retrieved 2009-08-12.
Visual Basic binds to objects from dynamic languages such as IronPython and IronRuby
- "Is there any silverlight sample?". 2009-05-11. Retrieved 2009-07-26.
Unfortunately, my DLR branch is very out of sync with the Silverlight one. I just thought about it, perhaps I do not need the DLR perse, will investigate. The problem is that the DLR as-is, is not good enough to support the majority of the Scheme's requirements
- Hugunin, Jim (2007-05-15). "DLR Trees (Part 1)". Retrieved 2008-02-23.
The key implementation trick in the DLR is using these kinds of trees to pass code around as data and to keep code in an easily analyzable and mutable form as long as possible.
- Nutter, Charles (2008-01-28). "Lang.NET 2008: Day 1 Thoughts". Retrieved 2008-02-23.
The idea is that there's a quickly-flattening asymptotic curve to the number of expression tree nodes required to implement each new language. Whether that's the case is yet to be seen.
- Bill Chiles (October 2007). "CLR Inside Out: IronPython and the Dynamic Language Runtime". MSDN Magazine. Retrieved 2007-08-10.
- Rose, John (2008-02-02). "Bravo for the dynamic runtime!". Retrieved 2008-02-23.
The differences between the CLR and JVM extensions are interesting to note. They work completely above the level of the CLR without significantly enhancing it, while we are developing the JVM and libraries at the same time.
- "MIX 07 - Silverlight shines brighter!". Retrieved 2007-04-30.
- "MIX 07 Video Presentation - DEV02 - Just Glue It! Ruby and the DLR in Silverlight". Archived from the original on 2007-05-08. Retrieved 2007-05-04.
- "Jim Hugunin's Thinking Dynamic – A Dynamic language runtime (DLR)". Retrieved 2008-02-06.
- "Details of source package dlr-languages in squeeze – DLR in Debian". Retrieved 2010-07-06.
- "Details of source package dlr-languages in lucid – DLR in Ubuntu". Retrieved 2010-07-06.
- "Pratap Lakshman's o.x the Managed JScript Type System". Retrieved 2008-01-28.