[opentheory-users] quoted strings
joe at gilith.com
Wed Sep 14 22:17:52 UTC 2011
I agree that a separate variable name type would be a more precise fit
with the intended semantics, but I can't convince myself that it would
be worth introducing an extra object type (and an extra command to
So for now I'll stick with adding a requirement to the article file
format that variable names must be in the global namespace.
On Tue, Sep 13, 2011 at 12:18 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> Thinking about this more, it seems like there are really two types of
> value here, so there should be two types (of object) to match.
> I think an elegant approach would be to make the double-quote command
> produce a plain string object (which can be an argument to the var and
> varType commands), and have a separate command and object type for
> constant/namespace names that actually takes a list of strings and a
> string (or just a list). Incidentally, dots would then not have to be
> What do you all think?
> On Tue, Sep 13, 2011 at 12:02 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
>> On Mon, Sep 12, 2011 at 11:56 PM, Joe Hurd <joe at gilith.com> wrote:
>>> Hi Ramana,
>>>> But does this mean that variables and type variables might have names
>>>> including a (non-empty) namespace?
>>> Yes, this is legal according to the standard as it is right now, but I
>>> don't like it. What would you think about adding a requirement that
>>> variable and type variable names must be in the global namespace?
>> Where global namespace means an empty list for the first component of
>> the name? I think that's a reasonable requirement.
>>> opentheory-users mailing list
>>> opentheory-users at gilith.com
> opentheory-users mailing list
> opentheory-users at gilith.com
More information about the opentheory-users