[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#909826: ITP: theme-d - a Scheme-like language implementing static typing



Package: wnpp

Severity: wishlist

  Package name    : theme-d
  Version         : 1.1.6
  Upstream Author : Tommi Höynälänmaa <tommi.hoynalanmaa@iki.fi>
  URL             : http://www.iki.fi/tohoyn/theme-d/
  License         : GPL, LGPL, and FDL
  Programming Lang: Scheme
  Description     : A Scheme-like programming language implementing static typing

Properties of Theme-D:
* 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
* Compilation to Guile Tree-IL or Scheme
* Possible to compile files to Guile bytecode.

I am going to maintain Theme-D myself. I need a sponsor.


Reply to: