Re: [racket] general facility for annotating procedures

2011-04-21 Thread Eric Tanter
cute! thanks, -- Éric On Apr 21, 2011, at 4:07 PM, Sam Tobin-Hochstadt wrote: > Here's a quick little example using `prop:procedure': > > https://gist.github.com/935350 > > On Thu, Apr 21, 2011 at 5:06 PM, Eric Tanter wrote: >> Ah, this is wonderful! >> >> not only does it exist, but in a

Re: [racket] general facility for annotating procedures

2011-04-21 Thread Sam Tobin-Hochstadt
Here's a quick little example using `prop:procedure': https://gist.github.com/935350 On Thu, Apr 21, 2011 at 5:06 PM, Eric Tanter wrote: > Ah, this is wonderful! > > not only does it exist, but in a better way than I had dreamed of ;-) > I wish I had known about that long ago... > > Thanks! > >

Re: [racket] general facility for annotating procedures

2011-04-21 Thread Eric Tanter
Ah, this is wonderful! not only does it exist, but in a better way than I had dreamed of ;-) I wish I had known about that long ago... Thanks! -- Éric On Apr 21, 2011, at 3:59 PM, Neil Van Dyke wrote: > Eric Tanter wrote at 04/21/2011 04:55 PM: >> Something along the lines of: >> (lambda #:pr

Re: [racket] general facility for annotating procedures

2011-04-21 Thread Laurent
Hi, Maybe this is not what you want, but just in case: structs can be used as procedures (with the #:prop:procedure property). You can use the attributes of the struct to attach the properties you want. Laurent On Thu, Apr 21, 2011 at 22:55, Eric Tanter wrote: > Hi Racketeers, > > I have been

Re: [racket] general facility for annotating procedures

2011-04-21 Thread Neil Van Dyke
Eric Tanter wrote at 04/21/2011 04:55 PM: Something along the lines of: (lambda #:prop key val (x) x) and then have `procedure-properties' as means to retrieve the different properties for introspection. One thing that might serve your needs is to define a struct that can be applied like p

[racket] general facility for annotating procedures

2011-04-21 Thread Eric Tanter
Hi Racketeers, I have been using PLT Scheme/Racket for various kinds of language design experiments in the past few years. The different facilities (in particular the possibility to redefine #%app, identifier macros, etc.) are extremely valuable to get working prototypes of wild ideas very quic