Looks it is implemented using guile. On Mon, Jul 25, 2016 at 5:24 AM Max <maxim.sur...@campus.tu-berlin.de> wrote:
> Could you perhaps briefly summarize what this have to do with Guile? > > 23.07.2016 13:29, Tommi Höynälänmaa пишет: > > 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 > > > > >
