Yes, sorry, I've been traveling and didn't have time to respond. I was originally tempted to say "statically typed" and then realized that wasn't exactly right, because it was not static types that would forbid such a construction, so I said "static languages" suggesting languages where things cannot be so easily changed.
I'm not so familiar with reader macros. The documentation looks pretty extensive so I don't have to time to absorb it right now. I would imagine that macros are not closures, therefore they shouldn't have any free variables. But perhaps that's an oversimplification, and there are cases where you need to write a macro to generate some expression with free variables in it. I guess at the time that the macro is expanded, it must find the right bindings for the variables. Matthew Flatt gave a nice demonstration of a clean way to do that (using multiple scopes with colors). I'm not sure how things might be different for reader macros, though. It seems to me that while the input of a reader macro is different (plain text instead of sexprs), the output is still sexprs, so the same sort of scoping rules should apply. On Fri, Oct 2, 2015 at 6:56 AM, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > > > On Oct 2, 2015, at 9:50 AM, "John B. Clements" <cleme...@brinckerhoff.org> > wrote: > > > > >> On Sep 30, 2015, at 2:57 PM, Matthias Felleisen <matth...@ccs.neu.edu> > wrote: > >> > >> > >> On Sep 30, 2015, at 4:19 PM, Lyle Kopnicky <lylew...@gmail.com> wrote: > >> > >>> I'm used to static languages lately and it's been a long time since > I've programmed in a Lisp. > >> > >> > >> With respect, what could the word "static" possibly mean here? > > > > In my mind, here, “static” == “a language in which it’s not possible to > re-bind the meaning of a primitive like ‘quote’.” No? > > > > https://existentialtype.wordpress.com/2014/04/21/bellman-confirms-a-suspicion/ -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
