From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "Martin Kuehl" Newsgroups: gmane.lisp.guile.devel Subject: Re: Status of the "Project Ideas" page / Summer of Code Date: Sat, 6 May 2006 00:02:27 +0200 Message-ID: References: <20060425141458.GG25279@gailuron.laas.fr> <87psiwddmf.fsf@laas.fr> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: sea.gmane.org 1146866577 2306 80.91.229.2 (5 May 2006 22:02:57 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Fri, 5 May 2006 22:02:57 +0000 (UTC) Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat May 06 00:02:49 2006 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1Fc8Nm-0005ah-2S for guile-devel@m.gmane.org; Sat, 06 May 2006 00:02:43 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Fc8Nl-0004sm-Oa for guile-devel@m.gmane.org; Fri, 05 May 2006 18:02:41 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1Fc8Nb-0004l4-02 for guile-devel@gnu.org; Fri, 05 May 2006 18:02:31 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1Fc8NY-0004im-Lv for guile-devel@gnu.org; Fri, 05 May 2006 18:02:29 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Fc8NY-0004ie-GC for guile-devel@gnu.org; Fri, 05 May 2006 18:02:28 -0400 Original-Received: from [64.233.166.177] (helo=py-out-1112.google.com) by monty-python.gnu.org with esmtp (Exim 4.52) id 1Fc8Nn-0001rR-Gq for guile-devel@gnu.org; Fri, 05 May 2006 18:02:43 -0400 Original-Received: by py-out-1112.google.com with SMTP id d80so884874pyd for ; Fri, 05 May 2006 15:02:27 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=unlYnGiEXoIQWNaMCiiael0Mt9PFL46uIFSmJe7X7f595DMVJEvgBimQMjhhrev5pE9My/8QHeZ4YNX9DlAi5VRXujKKaT/+SHcbNW+CdFrv1AyvgIZJP41Fkd0gpVFUmrpfmjnCXy/LzkPni29PiZYn30xKwIN+J7RZFByCoK8= Original-Received: by 10.35.66.13 with SMTP id t13mr259729pyk; Fri, 05 May 2006 15:02:27 -0700 (PDT) Original-Received: by 10.35.121.15 with HTTP; Fri, 5 May 2006 15:02:27 -0700 (PDT) Original-To: "=?ISO-8859-1?Q?Ludovic_Court=E8s?=" , guile-devel@gnu.org In-Reply-To: <87psiwddmf.fsf@laas.fr> Content-Disposition: inline X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:5906 Archived-At: On 5/2/06, Ludovic Court=E8s wrote: > To fetch it: > > $ tla register-archive \ > http://www.laas.fr/~lcourtes/software/arch-2004/ > $ tla get lcourtes@laas.fr--2004-libre/guile-vm--revival--0.6 guile-vm > > To summarize: the main issue left (and probably the main reason why > Keisuke Nishida never "finished" it) is the integration of first-class > macros. Preserving the current semantics may be feasible but requires > some thought. There are a couple of papers available from > library.readscheme.org on the compilation of first-class macros. > > Apart from macros, compilation from Scheme to GHIL, GLIL and then > bytecode basically works. Bytecode interpretation (the VM) is also > roughly functional. Damn, macros again :-) I'll definitely take a look at the revival, but I really doubt I'm the one to take on first-class macros just yet. I seem to have a hard time reasoning about them instead of CL macros (or maybe I just confuse them too much with Haskell-style pattern matching, i'm not sure), and that's something I'd want to change before dealing with their compilation. Thanks again for the pointers, Martin _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://lists.gnu.org/mailman/listinfo/guile-devel