From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.devel Subject: Re: Some guile-unify activities Date: Mon, 09 May 2011 14:42:58 +0200 Message-ID: References: NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1304944995 5381 80.91.229.12 (9 May 2011 12:43:15 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 9 May 2011 12:43:15 +0000 (UTC) Cc: guile-devel To: Stefan Israelsson Tampe Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon May 09 14:43:10 2011 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1QJPnp-0001SS-Hd for guile-devel@m.gmane.org; Mon, 09 May 2011 14:43:09 +0200 Original-Received: from localhost ([::1]:35908 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QJPno-0001Z1-TJ for guile-devel@m.gmane.org; Mon, 09 May 2011 08:43:08 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:40708) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QJPnm-0001Yv-9F for guile-devel@gnu.org; Mon, 09 May 2011 08:43:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1QJPnk-0004oj-T0 for guile-devel@gnu.org; Mon, 09 May 2011 08:43:06 -0400 Original-Received: from a-pb-sasl-sd.pobox.com ([64.74.157.62]:46222 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QJPnk-0004of-OJ for guile-devel@gnu.org; Mon, 09 May 2011 08:43:04 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id E21AA4A6E; Mon, 9 May 2011 08:45:08 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=3yBbgYks3sruoQDBwAvQzySVXcc=; b=QeiYbg RRinhMhMH9eY5Epw5sLr1V5fyVHwBVKEM7NG9JLm6p4/iNFcPHFmA132eguY4Ujz lgy5oRtL813e08YaFYmaaossiZmuQRE8drzj11LyT3EIiTE2NJ5dkCsAaeduHsiw MFZHc384K3w4bVFKYmcgKc+FmUrkTf91dwv+8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=D6hov9/y4OjIvcWK4UVjkzpNjEDDWX2W gbRw2WNmT8BbClMfbC/mIuAVCpO/3pfYsh41hmrvxbthsfWWheoQLyTQ/DaKFNRR 0c9dmbMUA8fkXANMMzYdhp6Mug/rihzj0xUpuhm4Oux14fqr7j5VFTcf6/hwSqr1 FhL61O6+NmQ= Original-Received: from a-pb-sasl-sd.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id D05734A6D; Mon, 9 May 2011 08:45:07 -0400 (EDT) Original-Received: from unquote.localdomain (unknown [90.164.198.39]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id 3DCEF4A6C; Mon, 9 May 2011 08:45:05 -0400 (EDT) In-Reply-To: (Stefan Israelsson Tampe's message of "Mon, 9 May 2011 13:15:10 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) X-Pobox-Relay-ID: 2B81D1AE-7A3A-11E0-9D6A-90BEB0B5FC3A-02397024!a-pb-sasl-sd.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-Received-From: 64.74.157.62 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:12474 Archived-At: On Mon 09 May 2011 13:15, Stefan Israelsson Tampe writes: > Hmm, type annotations in typed racket is defined according to > > http://docs.racket-lang.org/ts-guide/more.html#%28part._.Type_.Annotation_and_.Binding_.Forms%29 > > Any objections against that scheme? ideas? I think that what I'm primarily interested in is a way to annotate tree-il with type information, which the compiler may use to generate more efficient code. However I think it's premature to bless a particular encoding of that information in Scheme, or any particular type system... basically it should be a field in the tree-il, I think, and anything else can be built on top of that. MHO anyway :) But yes, there is a lot to learn from Racket about this. They've done the most advanced work that I'm aware of. Andy -- http://wingolog.org/