guile-user
[Top][All Lists]
Advanced

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

Re: Announcement: Theme-D programming language


From: Nala Ginrut
Subject: Re: Announcement: Theme-D programming language
Date: Sat, 23 Jul 2016 15:35:49 +0000

The link seem s broken for me. Could you take a look at it?

Tommi Höynälänmaa <address@hidden>于2016年7月23日周六 19:29写道:

> 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]