[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*To*: "Michael Sperber" <address@hidden>*Subject*: first-class names [was Re: Vectors as functions]*From*: address@hidden*Date*: Sun, 17 Aug 2003 13:22:50 -0400 (EDT)*Cc*: address@hidden*Importance*: Normal*In-reply-to*: <y9loeyohh9c.fsf@informatik.uni-tuebingen.de>*References*: <20030814170153.80D4B6BEDE@laime.cs.uchicago.edu><AA236D25-CEA2-11D7-B 291-0003938EB888@web.de><16188.3934.267729.188080@cs.brown.edu> <32783.141.154.13.159.1060907724.squirrel@stuff.hrnoc.net><20030815033 6.h7F3 aErQ208596@pimout5-ext.prodigy.net><200308150440.h7F4eEW32071@orchestr a.cs.caltech.edu><y9lfzk2lwm7.fsf@informatik.uni-tuebingen.de> <200308151658.h7FGwCr15280@orchestra.cs.caltech.edu><nm9y8xuiygs.fsf@s crubbing -bubbles.mit.edu><200308151830.h7FIU7p17300@orchestra.cs.caltech.edu>< y9l8yptk8cq.fsf@informatik.uni-tuebingen.de><33015.68.160.133.80.10610 52872.squirrel@stuff.hrnoc.net> <y9loeyohh9c.fsf@informatik.uni-tuebingen.de>*Sender*: address@hidden*User-agent*: SquirrelMail/1.4.0

>>>>>> "mike" == mike <mike@newhall.net> writes: > > mike> It seems that one way to look at this is to consider " 'foo " to > be a > mike> degenerate case of literal code, with the same binding problems. If > mike> you could store the symbol "foo" along with the environment in > effect > mike> at the time you stored it, a la (lambda), wouldn't that allow > mike> optimization and analysis and all that good stuff? > > Sure, that's exactly what LAMBDA does. Just do > > (let ((foo 23)) > (let ((set-foo (lambda (x) (set! foo x)))) > ...)) > > Cheers =8-} Mike Friede I guess the real question is can this be turned into something that provides some [more] of the benefits of the canonical implementation of first-class names without all the costs...

**Follow-Ups**:**Re: first-class names***From:*Michael Sperber <sperber@informatik.uni-tuebingen.de>

**References**:**Re:***From:*Robby Findler <robby@cs.uchicago.edu>

**Vectors as functions***From:*Shriram Krishnamurthi <sk@cs.brown.edu>

**Re: Vectors as functions***From:*mike@newhall.net

**Re: Vectors as functions***From:*Michael Sperber <sperber@informatik.uni-tuebingen.de>

**Re: Vectors as functions***From:*Michael Vanier <mvanier@cs.caltech.edu>

**Re: Vectors as functions***From:*Michael Vanier <mvanier@cs.caltech.edu>

- Prev by Date:
**Clear Choices was :: Re: Vectors as functions** - Next by Date:
**Clear Choices was :: Re: Vectors as functions** - Previous by thread:
**Re: Vectors as functions** - Next by thread:
**Re: first-class names** - Index(es):