From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Rob Browning Newsgroups: gmane.lisp.guile.devel Subject: Re: Smart variables, dumb variables Date: Thu, 15 Aug 2002 09:44:31 -0500 Sender: guile-devel-admin@gnu.org Message-ID: <87d6skfagg.fsf@raven.i.defaultvalue.org> References: <87y9bajzfp.fsf@zagadka.ping.de> <20020814080715.GA6068@www> <87fzxhteri.fsf@zagadka.ping.de> <20020814202831.GA7443@www> <877kittbdr.fsf@zagadka.ping.de> <20020814210634.GA7220@www> <871y91taen.fsf@zagadka.ping.de> <20020815080643.GA8225@www> NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1029422650 15203 127.0.0.1 (15 Aug 2002 14:44:10 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Thu, 15 Aug 2002 14:44:10 +0000 (UTC) Cc: Marius Vollmer , tomas@fabula.de, 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 17fLr5-0003ww-00 for ; Thu, 15 Aug 2002 16:44:07 +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 17fLs2-0005v4-00; Thu, 15 Aug 2002 10:45:06 -0400 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.10) id 17fLra-0005s3-00 for guile-devel@gnu.org; Thu, 15 Aug 2002 10:44:38 -0400 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10) id 17fLrY-0005rg-00 for guile-devel@gnu.org; Thu, 15 Aug 2002 10:44:37 -0400 Original-Received: from dsl-209-87-109-2.constant.com ([209.87.109.2] helo=defaultvalue.org) by monty-python.gnu.org with esmtp (Exim 4.10) id 17fLrY-0005rX-00 for guile-devel@gnu.org; Thu, 15 Aug 2002 10:44:36 -0400 Original-Received: from raven.i.defaultvalue.org (raven.i.defaultvalue.org [192.168.1.7]) by defaultvalue.org (Postfix) with ESMTP id B935EC766; Thu, 15 Aug 2002 09:44:35 -0500 (CDT) Original-Received: by raven.i.defaultvalue.org (Postfix, from userid 1000) id 6D1C89D9; Thu, 15 Aug 2002 09:44:31 -0500 (CDT) Original-To: rm@fabula.de In-Reply-To: <20020815080643.GA8225@www> (rm@fabula.de's message of "Thu, 15 Aug 2002 10:06:43 +0200") Original-Lines: 32 User-Agent: Gnus/5.090006 (Oort Gnus v0.06) Emacs/21.2 (i386-pc-linux-gnu) 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:1095 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:1095 rm@fabula.de writes: > oops, i forgot to mention goops. I was thinking of GOOPS generic > metods: > | > | (define-generic +) > | (define-method (+ (a ) (b )) > | (string-append a b)) > | > | (+ 41 1) > | => 42 > | > | (+ "Foo" "bar") > | => "Foobar" > | [...] > In the presence of a generic method system (i.e. function dispatch on > the type signature of the arguments) this seems to be rather non-trivial Though I believe some languages (Dylan?, and perhaps also RScheme), allow you to declare some functions/methods as "sealed". Doing so means that it should be an error for them to change values, or "specialized", and the compiler can perform agressive optimizations on them in the relevant code regions. -- Rob Browning rlb @defaultvalue.org, @linuxdevel.com, and @debian.org Previously @cs.utexas.edu GPG=1C58 8B2C FB5E 3F64 EA5C 64AE 78FE E5FE F0CB A0AD _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel