From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Amirouche Boubekki Newsgroups: gmane.lisp.guile.user Subject: Re: Announcement: Theme-D programming language Date: Sun, 24 Jul 2016 10:56:10 +0200 Message-ID: <62e96b8998d5e2a35327d525b3e13b78@hypermove.net> References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1469350646 20293 80.91.229.3 (24 Jul 2016 08:57:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 24 Jul 2016 08:57:26 +0000 (UTC) Cc: guile-user@gnu.org, guile-user , =?UTF-8?Q?Tommi_H=C3=B6yn=C3=A4l=C3=A4nmaa?= To: Nala Ginrut Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Sun Jul 24 10:57:17 2016 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bRFDn-0006g3-8o for guile-user@m.gmane.org; Sun, 24 Jul 2016 10:57:15 +0200 Original-Received: from localhost ([::1]:55271 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bRFDj-0008Ms-Bd for guile-user@m.gmane.org; Sun, 24 Jul 2016 04:57:11 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46514) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bRFD7-0008Jy-Fb for guile-user@gnu.org; Sun, 24 Jul 2016 04:56:37 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bRFD2-0007KO-Ej for guile-user@gnu.org; Sun, 24 Jul 2016 04:56:32 -0400 Original-Received: from relay2-d.mail.gandi.net ([2001:4b98:c:538::194]:33711) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bRFCr-0007Jh-1C; Sun, 24 Jul 2016 04:56:17 -0400 Original-Received: from mfilter24-d.gandi.net (mfilter24-d.gandi.net [217.70.178.152]) by relay2-d.mail.gandi.net (Postfix) with ESMTP id 346C0C5A56; Sun, 24 Jul 2016 10:56:14 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at mfilter24-d.gandi.net Original-Received: from relay2-d.mail.gandi.net ([IPv6:::ffff:217.70.183.194]) by mfilter24-d.gandi.net (mfilter24-d.gandi.net [::ffff:10.0.15.180]) (amavisd-new, port 10024) with ESMTP id 05xyI06b2xij; Sun, 24 Jul 2016 10:56:12 +0200 (CEST) X-Originating-IP: 10.58.1.147 Original-Received: from webmail.gandi.net (webmail7-d.mgt.gandi.net [10.58.1.147]) (Authenticated sender: amirouche@hypermove.net) by relay2-d.mail.gandi.net (Postfix) with ESMTPA id AC728C5A51; Sun, 24 Jul 2016 10:56:10 +0200 (CEST) In-Reply-To: X-Sender: amirouche@hypermove.net User-Agent: Roundcube Webmail/1.1.2 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4b98:c:538::194 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Original-Sender: "guile-user" Xref: news.gmane.org gmane.lisp.guile.user:12787 Archived-At: On 2016-07-23 17:35, Nala Ginrut wrote: > The link seem s broken for me. Could you take a look at it? > It works for me. > Tommi Höynälänmaa 于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 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 >> -- Amirouche ~ amz3 ~ http://www.hyperdev.fr