Some features of Theme-D are: * Static type system * An object system * A module system * Statically and dynamically dispatched multimethods * Parametrized (type parameters) classes, types, and procedures * Signature types resembling Java interfaces but multiply dispatched * Numerical tower * Constant variables Theme-D can be compiled to Guile Tree-IL or Scheme. Hence it is possible to compile Theme-D to Guile bytecode.