Diesel is an advanced object-oriented programming language. It is a successor to our Cecil language, which included multiply dispatched methods, a flexible classless object model, and a constraint-based polymorphic static type system. Diesel adds a module system (based on our work in MultiJava and EML) and simplifies the object model.
Diesel is the implementation language for the Whirlwind compiler. Our day-to-day use of Diesel in the development of Whirlwind is a major source of feedback on the language design and ideas for future language evolution.
Diesel is one of our main platforms for language design research, including research into predicate dispatching, parameterized module systems, nested virtual modules, and non-traditional concurrency models.
An implementation of the initial version of Diesel is available for download.