From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Nala Ginrut Newsgroups: gmane.lisp.guile.user Subject: Re: Announcement: Theme-D programming language Date: Sat, 23 Jul 2016 15:35:49 +0000 Message-ID: References: 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 1469288220 18069 80.91.229.3 (23 Jul 2016 15:37:00 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 23 Jul 2016 15:37:00 +0000 (UTC) To: =?UTF-8?B?VG9tbWkgSMO2eW7DpGzDpG5tYWE=?= , guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Sat Jul 23 17:36:46 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 1bQyyq-00065M-TG for guile-user@m.gmane.org; Sat, 23 Jul 2016 17:36:45 +0200 Original-Received: from localhost ([::1]:52690 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bQyyp-00024s-Rm for guile-user@m.gmane.org; Sat, 23 Jul 2016 11:36:43 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:59345) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bQyyO-00024Z-Im for guile-user@gnu.org; Sat, 23 Jul 2016 11:36:22 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bQyyI-0004lB-7G for guile-user@gnu.org; Sat, 23 Jul 2016 11:36:16 -0400 Original-Received: from mail-yw0-x230.google.com ([2607:f8b0:4002:c05::230]:34443) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bQyyI-0004l6-1Y for guile-user@gnu.org; Sat, 23 Jul 2016 11:36:10 -0400 Original-Received: by mail-yw0-x230.google.com with SMTP id z8so105915756ywa.1 for ; Sat, 23 Jul 2016 08:36:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=zaYTkiBvLB9EDrGzk3Poytl761LVHr+ezF8BsiWqgLY=; b=x9gSQ4P3LGSU90aPpbUSi3zHLVAmhIWHQ/BP1p+r+/aNLxQ573Bib9sI5yF1xX403m 4ZxGuWWr3rt+9rcc1eK8XalqJop04N39K5IqEyURQ7gHGDZ5NCsaAWHkJ5RRjxnbH+Oc KBmBTrinvLyY/eb0KdPC7S9m/kC5CdHwLCisyD5Ba4Z72M6MMNfalXOGouWAhBphCHNx oTe77P2oQuzHTNC8hyMyRAESwF8CJiT1/u1jgutsd138ZRFmBBOdIixhx9lPvUpEu1at JmLX8et5lOjzyJMgshOFBzwGNJz3SvpMGna5DsA31gMIsTH9aPymM7DqoDTbQrRN2A8S IyzA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=zaYTkiBvLB9EDrGzk3Poytl761LVHr+ezF8BsiWqgLY=; b=cCfEpPfe3fraLh57rBiX6FUvaYySwoXdWHZfKXffIEcEUz3P945/rxp4uIPXktZA/a GuCgQ853TAP98YZ36HHUtcZW1dvcpMfzNsEkvwghK0TN9zvrj2C+wBbbsgSTK+ApmBy5 D3QiX2J+QKny+oo3DCl7ojbDqfuR3dLpXU8KxRNUQ5ozw1ykiF2MGT8kkLGq4HaNmHtv agT4NyrcBvxEqIEtrVIbCyh/Zf4EIUQF4OTLBULSziYYeOoYPL7UM0cMpOgd6pv45afM lz7I75ITDdZ14lceruaarcD4j1zxAfZqHNhezXoSSLLQv2oTQ6Ad0oRNforZu+KkTIKI hgxw== X-Gm-Message-State: AEkoous5nKUuKxux3cGI9V+96QHmnGVY3/LGgYLAruS3NklPLOcntXlmhs6nbvRn8eI9fo8A6mX4c7LoQSAkew== X-Received: by 10.37.85.135 with SMTP id j129mr6355156ybb.160.1469288159132; Sat, 23 Jul 2016 08:35:59 -0700 (PDT) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:4002:c05::230 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:12786 Archived-At: The link seem s broken for me. Could you take a look at it? Tommi H=C3=B6yn=C3=A4l=C3=A4nmaa =E4=BA=8E2016= =E5=B9=B47=E6=9C=8823=E6=97=A5=E5=91=A8=E5=85=AD 19:29=E5=86=99=E9=81=93=EF= =BC=9A > 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 thou= gh > 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 erroneo= us > 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 >