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