[opentheory-users] quoted strings

[Joe Hurd]

Hi Ramana,

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
construct them).

So for now I'll stick with adding a requirement to the article file
format that variable names must be in the global namespace.

Cheers,

Joe

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
> escaped.
> 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.
>>
>>>
>>> Cheers,
>>>
>>> Joe
>>>
>>> _______________________________________________
>>> opentheory-users mailing list
>>> opentheory-users at gilith.com
>>> http://www.gilith.com/opentheory/mailing-list
>>>
>>
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>