Binary package “theme-d-translator” in ubuntu disco

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.