Theme-D

Programming language Theme-D extends Scheme with static typing. The implementation of the language uses guile 3.0 as its platform. 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-Intr for GNOME bindings to Theme-D.

Some properties of Theme-D:

  • Static type system
  • An object system
  • A module system
  • Statically and dynamically dispatched multimethods
  • Parametrized (type parameters) classes, types, and procedures
  • Exceptions
  • Signature types resembling Java interfaces but multiply dispatched
  • Numerical tower
  • Constant variables

NEW: New release 7.1.0 has been published. Since version 7.0.0 modular linking and dynamically loaded plugins are supported. See program calc2 in software package Theme-D-Intr for an example.

Notifications of the new releases of Theme-D shall be posted to the Theme-D Sourceforge forum and x.com hashtag #themedlanguage. The forum can also be used for discussion related to Theme-D.

Downloading
Documentation
Examples
Editor support
Version history

Last updated: September 11, 2025

Copyright © 2020-2025 Tommi Höynälänmaa

tommi.hoynalanmaa@REMOVETHISiki.fi