The link seem s broken for me. Could you take a look at it? Tommi Höynälänmaa <tommi.hoynalan...@gmail.com>于2016年7月23日周六 19:29写道：
> 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 >
