From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?B?VG9tbWkgSMO2eW7DpGzDpG5tYWE=?= Newsgroups: gmane.lisp.guile.user Subject: Announcement: Theme-D version 1.0.0 Date: Sun, 16 Jul 2017 17:35:00 +0300 Message-ID: <0d27f199-5afd-9640-6c5a-f1965a0359fa@gmail.com> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1500215747 13118 195.159.176.226 (16 Jul 2017 14:35:47 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 16 Jul 2017 14:35:47 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1 To: guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Sun Jul 16 16:35:40 2017 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dWke2-0002oN-3Q for guile-user@m.gmane.org; Sun, 16 Jul 2017 16:35:38 +0200 Original-Received: from localhost ([::1]:45451 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dWke4-00058m-CR for guile-user@m.gmane.org; Sun, 16 Jul 2017 10:35:40 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:43969) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dWkdb-00058U-Sh for guile-user@gnu.org; Sun, 16 Jul 2017 10:35:12 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dWkdW-0001nh-Vz for guile-user@gnu.org; Sun, 16 Jul 2017 10:35:11 -0400 Original-Received: from mail-lf0-x234.google.com ([2a00:1450:4010:c07::234]:36727) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dWkdW-0001l8-Or for guile-user@gnu.org; Sun, 16 Jul 2017 10:35:06 -0400 Original-Received: by mail-lf0-x234.google.com with SMTP id h22so73601843lfk.3 for ; Sun, 16 Jul 2017 07:35:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding; bh=l33gdVs4Xgnyzz+ZT33JF6XTINCt2YZlo9WZsoV4Tu0=; b=M2oxx6cdXN5hpyQC5fhoPj1VeVktQI+bRIWEM7rmYJYbgvmxkTRi/XeLnOSE46oL0p uqh9ZBqYYY/I9piuxXjSJeKqoVS6UE1U8FRsp8ZXthScYXU83OWcIpOaReCRHvHqyvhM qsGG/7piVKuqveY1esmQf2VRRBfJVJJKbOfoIG1Dc4AC8OVzUzIMzbVnXWF/wyrpZhfv vrbAjM2pgPu2OR3g5osuao62IhVyJWSWwhHaJ3vG+8/ysCxiYYAhzhDkIEBEGYGSeEJp Kv6d/drkZVApGcL/Pf1KvWxlzFY71dOpOqvL8UhDpnHQ7KacT2knp6H7eg+7ygPejan7 H3MQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=l33gdVs4Xgnyzz+ZT33JF6XTINCt2YZlo9WZsoV4Tu0=; b=oJilL56iTeQ7fEidBILw7cU9pmfU1HGAzyZ4sfpdZ0wC8HbalXy52j4DWNhOuFrPvo zHXSo+tCQM7+5nPw/Qrw0lNeMpY8zPYPiU9NTXoUHKPZyshVmVqg/DqWoySmVI++hbTJ gyQpkztcKUKLrKHnxbvEMWZC8Nm6dO3jF7w90TFiRAcIDeSn30o1Ue65Yp6kry7munOT YQvbxQBExHmWKlOy4rzj+hUWJzKvwA1zewbqYsbDyjjPTerQnUXyim6cN6qeNnwGSPGI z7n4kfvvKpoE5q7Myevw3mKaQB/k+3bEhhiavVq+Vux27t2vPDxUMZPRzrh/+hDI6ddO p6UQ== X-Gm-Message-State: AIVw110ixpoBlfgbc7VBYIy0ruDCFF9EMOgZde88uuWDRZFm9NUKyWLx +OXe8UfruQt+k8kHFWO/dA== X-Received: by 10.25.29.3 with SMTP id d3mr4870113lfd.45.1500215702965; Sun, 16 Jul 2017 07:35:02 -0700 (PDT) Original-Received: from [192.168.43.172] (37-219-128-234.nat.bb.dnainternet.fi. [37.219.128.234]) by smtp.gmail.com with ESMTPSA id s199sm3333707lfs.4.2017.07.16.07.35.01 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 16 Jul 2017 07:35:01 -0700 (PDT) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:1450:4010:c07::234 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:13942 Archived-At: Theme-D is a programming language extending Scheme with static typing. Changes: * Support Tree-IL as intermediate language. * New keywords "use" and "@": Modules can be used without importing their contents into the global namespace. * Corrected a bug with variable argument lists. * Corrected a bug with param-proc-dispatch. * Corrected a bug with field-set! inside parametrized procedures. * Procedure apply works with parametrized procedures. * Corrected type deduction algorithm in case a deduced value of a type variable contains other type variables. * Keywords make and constructor can be used with pair classes. * Forms "and" and "or" are implemented as macros. * Compatible with th-scheme-utilities version 1.3. Theme-D homepage is located at http://www.iki.fi/tohoyn/theme-d/ Theme-D can also be downloaded from https://sourceforge.net/projects/theme-d/ - Tommi Höynälänmaa