From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Jon Wilson Newsgroups: gmane.lisp.guile.user Subject: Re: Dynamic variable binding Date: Sat, 15 Nov 2008 09:58:38 -0500 Message-ID: <491EE39E.7090209@wilsonjc.us> References: <8wro202o.fsf@vps203.linuxvps.org> <87skpvxxx6.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset=UTF-8 Content-Transfer-Encoding: QUOTED-PRINTABLE X-Trace: ger.gmane.org 1226761150 26883 80.91.229.12 (15 Nov 2008 14:59:10 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 15 Nov 2008 14:59:10 +0000 (UTC) To: guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Sat Nov 15 16:00:09 2008 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1L1Md7-0004SQ-D3 for guile-user@m.gmane.org; Sat, 15 Nov 2008 16:00:09 +0100 Original-Received: from localhost ([127.0.0.1]:45858 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1L1Mbz-0004hY-Do for guile-user@m.gmane.org; Sat, 15 Nov 2008 09:58:59 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1L1Mbi-0004hM-KX for guile-user@gnu.org; Sat, 15 Nov 2008 09:58:42 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1L1Mbg-0004h4-VD for guile-user@gnu.org; Sat, 15 Nov 2008 09:58:42 -0500 Original-Received: from [199.232.76.173] (port=38453 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1L1Mbg-0004gz-PN for guile-user@gnu.org; Sat, 15 Nov 2008 09:58:40 -0500 Original-Received: from mailgw2.fnal.gov ([131.225.111.12]:45613) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1L1Mbg-0002jt-8D for guile-user@gnu.org; Sat, 15 Nov 2008 09:58:40 -0500 Original-Received: from mailav1.fnal.gov (mailav1.fnal.gov [131.225.111.18]) by mailgw2.fnal.gov (iPlanet Messaging Server 5.2 HotFix 2.06 (built Mar 28 2005)) with SMTP id <0KAD00CQLQVZK6@mailgw2.fnal.gov> for guile-user@gnu.org; Sat, 15 Nov 2008 08:58:39 -0600 (CST) Original-Received: from mailgw2.fnal.gov ([131.225.111.12]) by mailav1.fnal.gov (SAVSMTP 3.1.7.47) with SMTP id M2008111508583828235 for ; Sat, 15 Nov 2008 08:58:38 -0600 Original-Received: from conversion-daemon.mailgw2.fnal.gov by mailgw2.fnal.gov (iPlanet Messaging Server 5.2 HotFix 2.06 (built Mar 28 2005)) id <0KAD00F01QJMHV@mailgw2.fnal.gov> (original mail from jsw@wilsonjc.us) for guile-user@gnu.org; Sat, 15 Nov 2008 08:58:39 -0600 (CST) Original-Received: from wilsonjc.us (cpe-75-187-46-126.columbus.res.rr.com [75.187.46.126]) by mailgw2.fnal.gov (iPlanet Messaging Server 5.2 HotFix 2.06 (built Mar 28 2005)) with ESMTPSA id <0KAD00LKXQXQQZ@mailgw2.fnal.gov> for guile-user@gnu.org; Sat, 15 Nov 2008 08:58:38 -0600 (CST) In-reply-to: User-Agent: Thunderbird 2.0.0.17 (X11/20080925) X-detected-operating-system: by monty-python.gnu.org: Solaris 9 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-user-bounces+guile-user=m.gmane.org@gnu.org Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.user:6912 Archived-At: Sebastian Tennant wrote: > Quoth ludo@gnu.org (Ludovic Court=C3=A8s): >> Dynamic binding definition is compilation-unfriendly. Kjetil's >> proposed `define-lotsof' macro is more appropriate, as it can be f= ully >> evaluated at compile-time (should a compiler be used, that is), >> whereas the `module-define!' trick requires that compilation and >> execution be the one and same phase. >=20 > Ah, interesting. Noted. Thanks again (to Kjetil also). Furthermore, the lack of separation between what is compiled and what= is=20 executed causes problems with defining a module system that understan= ds=20 hygiene. It took me a while to understand this, but finally sitting= =20 down and grokking Matthew Flatt's paper "Compilable and Composable= =20 Macros: You Want it When?" got it through my skull. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=3D10.1.1.11.4008 Regards, Jon