Programming language extending Scheme with static typing

 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.