mailing-list for TeXmacs Users

[Frank <address@hidden>]

Dear Giovanni Piredda,

I don't have a good source of scoping, but it seems to me that the 
description on wikipedia 
https://en.wikipedia.org/wiki/Scope_(computer_science)#Lexical_scoping_vs._dynamic_scoping 
seems to be clear.

I did not read the source code of TeXmacs so I don't know how it is 
implemented. The reference says that \label and \ref are primitives, so 
I don't know whether it is possible to implement them by hands. (I have 
not programmed anything in TeXmacs therefore I am only talking about the 
possibility, and hopefully experienced users would correct errors and 
add some details. I have already thought the possibility of implementing 
properly cleveref in TeXmacs, therefore I asked)

As far as I understand, dynamic scoping extends callee's environment 
from caller's environment, therefore it seems to enable directly the 
exposure of the environment through variables.

Best wishes,

Le 17/06/2019 à 19:56, Giovanni Piredda a écrit :
> Am 16.06.2019 um 13:49 schrieb Frank:
> > Dear all,
> >
> > I wonder whether we can implement references similar to that of 
> > cleveref in LaTeX. Joris discouraged this, however:
> >
> > https://www.mail-archive.com/address@hidden/msg01359.html
> >
> > It seems useful when one wants to frequently change a lemma to a 
> > theorem and so forth.
> >
> > Seemingly we need to implement \label so that the tag (I mean, 
> > whether it is a lemma, a theorem, or a customized tag) is encoded so 
> > that it could be inquired where \ref is called. If TeXmacs supports 
> > dynamic scoping, maybe this would be easier (render-theorem exposes 
> > the name to the body, this seems difficult for lexical scoping 
> > without changing the interface of body).
> For writing code on a "cleveref" implementation for the moment I pass.
>
> I am curious about two things though:
>
> - the counters must know which environment they are in, because the 
> counters have to be advanced correctly. The same information that goes 
> into the counters could go into the labels.
>
> - could you please give me a link to something to read about the 
> difference between dynamic scopig and lexical scoping?
>
>
> Thanks in advance -
>
>
> Giovanni
--
Best wishes!
Yours,