Some properties of Theme-D language are: * Static type system * A simple object system * Multi-methods dispatched runtime (and also compile-time) * Parametrized (type parameters) classes, types, and procedures * Signature types resembling Java interfaces but multiply dispatched. * A module system * Two kinds of variables: constants and mutable variables. The value of a constant cannot be changed after the constant is created.
Changes in version 0.9.3 are: * Improved the explicit generic procedure dispatch. * Simplified the foreign class interface. * Corrected an error in the module system. * Correction to mutable variable declarations. * Corrected an error with method variable argument lists. * Corrected a bug with param-proc-instance. * Corrected the subtype checking algorithm for union types. * A declared value can be used as a value of a constant. * Type of a match-type expression may be <object> in some cases even though an else part is not present. * Implemented some list and string handling procedures into the standard library. * Better error messages for identical or noncovariant methods and erroneous parametrized procedure instantiations. The homepage of Theme-D is located at: http://www.iki.fi/tohoyn/theme-d/ - Tommi Höynälänmaa
