From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: =?UTF-8?B?VG9tbWkgSMO2eW7DpGzDpG5tYWE=?= Newsgroups: gmane.lisp.guile.user Subject: Announcement: Theme-D programming language Date: Sat, 23 Jul 2016 14:29:10 +0300 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1469273387 1642 80.91.229.3 (23 Jul 2016 11:29:47 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 23 Jul 2016 11:29:47 +0000 (UTC) To: guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Sat Jul 23 13:29:47 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 1bQv7q-0007sa-Os for guile-user@m.gmane.org; Sat, 23 Jul 2016 13:29:46 +0200 Original-Received: from localhost ([::1]:51436 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bQv7q-0007nk-3w for guile-user@m.gmane.org; Sat, 23 Jul 2016 07:29:46 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:47160) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bQv7P-0007nP-GV for guile-user@gnu.org; Sat, 23 Jul 2016 07:29:25 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bQv7I-0002XS-5w for guile-user@gnu.org; Sat, 23 Jul 2016 07:29:18 -0400 Original-Received: from mail-it0-x241.google.com ([2607:f8b0:4001:c0b::241]:33875) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bQv7I-0002XL-0j for guile-user@gnu.org; Sat, 23 Jul 2016 07:29:12 -0400 Original-Received: by mail-it0-x241.google.com with SMTP id u186so4643169ita.1 for ; Sat, 23 Jul 2016 04:29:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=UT4uNWCSNgJFmE5NCw3RN0bHrjKybv1h+UtkVDSWWl0=; b=hidiM/ihYz0kiSXbJSoLA2HgCMRPbUB7SY4fZ69SqaFPeC7XycJzE9lO9wkKkW8RDI j5ENy6M/jzSBhjTfN2Y0jlZEFWqTa2As2Af52CL4VnVPznBen5v1tjt4Yn61aNfozpFp tSvAlrVuS0kLvraawGUNM+hsiBML2hcPUDg7kKRCkIitmcc2pJcf0MFCU5hnLOpsbf8E 5hu5hM4h9QtsQ1WUkWku225XNagGsdtYs/G5g5SI9Ahn+I9xKSv5AMdVDP7xLPnwIQa0 AJHj17vxEHOMsMvLFyelhf1TCiz4TYzL9n89yjTG3lx4wpfE48KdWlMcTyrh2u3Uu7dl WrHg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=UT4uNWCSNgJFmE5NCw3RN0bHrjKybv1h+UtkVDSWWl0=; b=cJ1bm0kPPY/X5lNQ9pfejWSVsc5g0qbRrkc+XdVUmRpL7K38Jf3IRksqV6gmPCXKh7 WgbnXa0TeWH2BrBJpZgIJxkUHR3PeTJjAXnLfYerCPZmOhDALemlsuuYFtKe/K5mLaMH OBUW2LvmhYq+/9TpJ3AUj52hmZifJowXHU57FgUa8R2EtE7IQvgIm1rDm6GsN92ROxPt JMlDHsDKxM3TfQSKMJpmpslnKOVXKGf3XsJJO0U2kHrF1SynbCuL7t57Rwn6/yHUVuJl BylonOLvRbgX0sEIOdB01XwQ6ROGzp672bEQbUK5jMTwvjmvlERhQOktGm1hhBGbbsh3 FCMQ== X-Gm-Message-State: ALyK8tJ0mvzTbr9HiYMl8pxNclnTf9iUKKU3oS4Zm6/mwWMNxwVcUK+B5/AxhChPvNkN0eJZXP0bhyGIGTik1w== X-Received: by 10.36.104.85 with SMTP id v82mr73424257itb.64.1469273351289; Sat, 23 Jul 2016 04:29:11 -0700 (PDT) Original-Received: by 10.107.10.102 with HTTP; Sat, 23 Jul 2016 04:29:10 -0700 (PDT) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:4001:c0b::241 X-Content-Filtered-By: Mailman/MimeDel 2.1.21 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:12784 Archived-At: 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=C3=B6yn=C3=A4l=C3=A4nmaa