theme-d-translator

Programming language extending Scheme with static typing

Some features of Theme-D 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 Theme-D can be compiled to Guile Tree-IL or Scheme. Hence it is possible to compile Theme-D to Guile bytecode.