Theme-D

Programming language Theme-D extends Scheme with static typing. The current Scheme platform is guile 2.2 but the software works for guile 3.0, too. Theme-D programs can also be compiled for Racket. Theme-D resembles Jaap Weel's Theme but Theme-D is more dynamic and the objects in Theme-D need to have type tags. See Theme-D-Gnome for GNOME bindings to Theme-D.

Some properties of Theme-D:

  • Static type system
  • An 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
  • Numerical tower
  • Two kinds of variables: constants and mutable variables

See the Theme-D Sourceforge Forum for discussion related to Theme-D.

Downloading
Documentation
Examples
Version history

Last updated: June 21, 2020

Copyright (C) 2020 Tommi Höynälänmaa

tommi.hoynalanmaa@REMOVETHISiki.fi