From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Mark H Weaver Newsgroups: gmane.lisp.guile.devel Subject: Re: Special variables to relax boxing Date: Thu, 21 Mar 2013 15:03:06 -0400 Message-ID: <87d2usa845.fsf@tines.lan> References: <3101921.Ei70kTLzB2@warperdoze> <87wqt19ts2.fsf@tines.lan> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1363892622 20333 80.91.229.3 (21 Mar 2013 19:03:42 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 21 Mar 2013 19:03:42 +0000 (UTC) Cc: guile-devel To: Stefan Israelsson Tampe Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Thu Mar 21 20:04:04 2013 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UIkmS-0006IG-4l for guile-devel@m.gmane.org; Thu, 21 Mar 2013 20:04:04 +0100 Original-Received: from localhost ([::1]:42280 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UIkm4-0006YK-Rc for guile-devel@m.gmane.org; Thu, 21 Mar 2013 15:03:40 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:49835) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UIkm1-0006Xq-Dz for guile-devel@gnu.org; Thu, 21 Mar 2013 15:03:38 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1UIklw-00076s-O0 for guile-devel@gnu.org; Thu, 21 Mar 2013 15:03:37 -0400 Original-Received: from world.peace.net ([96.39.62.75]:44428) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UIklw-00074P-KH for guile-devel@gnu.org; Thu, 21 Mar 2013 15:03:32 -0400 Original-Received: from 209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com ([209.6.91.212] helo=tines.lan) by world.peace.net with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1UIklf-0004XJ-SK; Thu, 21 Mar 2013 15:03:16 -0400 In-Reply-To: (Stefan Israelsson Tampe's message of "Thu, 21 Mar 2013 10:35:44 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 96.39.62.75 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:15960 Archived-At: Stefan, you're still describing your proposal in terms of low-level implementation details such as stacks. In the general case, we cannot store environment structures on the stack. Furthermore, in the general case *all* variables in scheme are bound to locations, not values. Only in special cases can we use stacks, and only in special cases can we avoid boxing variables. These are only _optimizations_. If you're serious about this proposal, please read sections 3.1 and 3.4 of the R5RS carefully. Explain your proposed _semantics_ (not the implementation details) in those terms, where *all* variables are bound to _locations_, and where there is no stack at all (everything is conceptually stored in a garbage-collected heap). We need to understand the *semantics* in the simplest possible terms before we even begin to think about how to implement it. Thanks, Mark