From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Israelsson Tampe Newsgroups: gmane.lisp.guile.devel Subject: Re: Some guile-unify activities Date: Mon, 9 May 2011 20:35:44 +0200 Message-ID: References: NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=90e6ba61359478868804a2dc1b56 X-Trace: dough.gmane.org 1304966155 8223 80.91.229.12 (9 May 2011 18:35:55 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 9 May 2011 18:35:55 +0000 (UTC) Cc: guile-devel To: Andy Wingo Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon May 09 20:35:51 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 1QJVJ7-0003C3-Rc for guile-devel@m.gmane.org; Mon, 09 May 2011 20:35:49 +0200 Original-Received: from localhost ([::1]:45779 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QJVJ7-0005gd-BC for guile-devel@m.gmane.org; Mon, 09 May 2011 14:35:49 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:46262) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QJVJ4-0005gY-TQ for guile-devel@gnu.org; Mon, 09 May 2011 14:35:47 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1QJVJ3-00014z-7t for guile-devel@gnu.org; Mon, 09 May 2011 14:35:46 -0400 Original-Received: from mail-iw0-f169.google.com ([209.85.214.169]:34272) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QJVJ3-00014p-2h for guile-devel@gnu.org; Mon, 09 May 2011 14:35:45 -0400 Original-Received: by iwg8 with SMTP id 8so6293465iwg.0 for ; Mon, 09 May 2011 11:35:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=tGzPJRHduZo01z302H7F+1pe+GZwq//bVzaGOdG1bYc=; b=vZr/dudk0edwOqDuAJ9KV6pFsWFKCmMEgwZgVs5W04nf3NgqOuFqqYn+4aRd9/bXMB FeAkFLUyNXofVlp8I0jINCq9S9GyH0SGYZQTj65KQNF91AsTLZ/RnA8rpvgX/vsRCy+F QA6nTl3JJ06be/+UMWM7aNBlJj2LBbH/i8Y88= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=o909PZFCvCyII45DzHa+8tW7tdfpffoBvviZEz/F99HePx0wScvzuj2gzYVQU9aOyB R+hl3XjPrkX7NCEJIZsIUC0IaWYxmK/0B9tdH9aVuakzs6D1N/Qn/iFGQZEcYB1y0Ycs k8YhNPvb6V1Q6haNmhnmV9PQ3SZfbmnZX1zXM= Original-Received: by 10.42.136.129 with SMTP id u1mr6858446ict.459.1304966144230; Mon, 09 May 2011 11:35:44 -0700 (PDT) Original-Received: by 10.231.183.80 with HTTP; Mon, 9 May 2011 11:35:44 -0700 (PDT) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2) X-Received-From: 209.85.214.169 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:12475 Archived-At: --90e6ba61359478868804a2dc1b56 Content-Type: text/plain; charset=ISO-8859-1 I looked in psyntax.scm, I should be able to add some extra fields to the tree-il representation as you wish. I will have a try of it >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/ > --90e6ba61359478868804a2dc1b56 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable I looked in psyntax.scm, I should be able to add some extra fields to the t= ree-il representation as you wish.
I will have a try of it


&g= t;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. =A0However 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 :) =A0But 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/=

--90e6ba61359478868804a2dc1b56--