[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] 6.3.3 symbols
- To: Andy Wingo <wingo@x>
- Subject: Re: [Scheme-reports] 6.3.3 symbols
- From: Andre van Tonder <andre@x>
- Date: Thu, 19 May 2011 13:12:00 -0400 (EDT)
- Cc: scheme-reports <scheme-reports@x>
- In-reply-to: <m3liy263d8.fsf@unquote.localdomain>
- References: <m3liy263d8.fsf@unquote.localdomain>
On Thu, 19 May 2011, Andy Wingo wrote:
> The text states:
>
> Symbols are objects whose usefulness rests on the fact that two
> symbols are identical (in the sense of `eqv?') if and only if their
> names are spelled the same way. This is exactly the property needed
> to represent identifiers in programs, and so most implementations of
> Scheme use the internally for that purpose. Symbols are useful for
> many other applications; for instance, they may be used the way
> enumerated values are used in Pascal.
>
> I think this editorializing is misleading (for example, macros introduce
> identifiers not simply by name but also with hygiene info) and
> unnecessary.
>
> Suggestion: elide the second and possibly third sentences. Also elide
> the following note about uninterned symbols, which doesn't clarify
> anything.
Agreed. The second sentence has been untrue ever since hygienic macros
came into Scheme.
_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports