From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: tomas@fabula.de Newsgroups: gmane.lisp.guile.devel Subject: Re: Smart variables, dumb variables Date: Thu, 15 Aug 2002 12:52:47 +0200 Sender: guile-devel-admin@gnu.org Message-ID: <20020815105246.GA8541@www> References: <87y9bajzfp.fsf@zagadka.ping.de> <20020814080715.GA6068@www> <87fzxhteri.fsf@zagadka.ping.de> <20020814202831.GA7443@www> <877kittbdr.fsf@zagadka.ping.de> NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1029408016 9889 127.0.0.1 (15 Aug 2002 10:40:16 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Thu, 15 Aug 2002 10:40:16 +0000 (UTC) Cc: guile-devel@gnu.org Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 17fI33-0002ZN-00 for ; Thu, 15 Aug 2002 12:40:13 +0200 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10) id 17fI3w-0002NL-00; Thu, 15 Aug 2002 06:41:08 -0400 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.10) id 17fI3B-0002Fi-00 for guile-devel@gnu.org; Thu, 15 Aug 2002 06:40:21 -0400 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10) id 17fI39-0002Eh-00 for guile-devel@gnu.org; Thu, 15 Aug 2002 06:40:20 -0400 Original-Received: from www.elogos.de ([212.18.192.92]) by monty-python.gnu.org with esmtp (Exim 4.10) id 17fI38-0002EW-00 for guile-devel@gnu.org; Thu, 15 Aug 2002 06:40:18 -0400 Original-Received: by www.elogos.de (Postfix, from userid 5002) id 2CEEB1049BF; Thu, 15 Aug 2002 12:52:47 +0200 (CEST) Original-To: Marius Vollmer Content-Disposition: inline In-Reply-To: <877kittbdr.fsf@zagadka.ping.de> User-Agent: Mutt/1.3.24i Errors-To: guile-devel-admin@gnu.org X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Developers list for Guile, the GNU extensibility library List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.lisp.guile.devel:1093 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:1093 On Wed, Aug 14, 2002 at 10:48:32PM +0200, Marius Vollmer wrote: > tomas@fabula.de writes: > > > On Wed, Aug 14, 2002 at 09:35:29PM +0200, Marius Vollmer wrote: > > > > > Read-onlyness should be a property of a variable that can be detected > > > by the compiler so we wouldn't want to bury it only in the setter, I'd > > > say. > > > > For some kind of static integrity checking? > > I had in mind that the compiler could use the bit to decide if it is > allowed to inline some functions (such as '+', 'car', ...) but I no > longer think that would be the right way. It sure makes sense, but at another point (see also all the other followups). Those decisions are compile-time, and whether the compiler gets its info from promises the user makes (kind of type declarations) or from static code analysis -- it'd have to have a richer per-variable data structure than just those two bits. The two bits you have envisioned seem to me a run-time thing (maybe something the compiler might set after reaching its conclusions). Regards -- tomas _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel