guile-user
[Top][All Lists]
Advanced

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

Announcement: Theme-D programming language


From: Tommi Höynälänmaa
Subject: Announcement: Theme-D programming language
Date: Sat, 23 Jul 2016 14:29:10 +0300

Some properties of Theme-D language 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. The value of a
constant cannot be changed after the constant is created.

Changes in version 0.9.3 are:
* Improved the explicit generic procedure dispatch.
* Simplified the foreign class interface.
* Corrected an error in the module system.
* Correction to mutable variable declarations.
* Corrected an error with method variable argument lists.
* Corrected a bug with param-proc-instance.
* Corrected the subtype checking algorithm for union types.
* A declared value can be used as a value of a constant.
* Type of a match-type expression may be <object> in some cases even though
an else part is not present.
* Implemented some list and string handling procedures into the standard
library.
* Better error messages for identical or noncovariant methods and erroneous
parametrized procedure instantiations.

The homepage of Theme-D is located at:
http://www.iki.fi/tohoyn/theme-d/

     - Tommi Höynälänmaa


reply via email to

[Prev in Thread] Current Thread [Next in Thread]