[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Useless ambiguities in number specification, section 7.1.1
- To: "scheme-reports" <scheme-reports@x>
- Subject: Re: [Scheme-reports] Useless ambiguities in number specification, section 7.1.1
- From: "David A. Wheeler" <dwheeler@x>
- Date: Sun, 20 Jan 2013 16:27:01 -0500 (EST)
- In-reply-to: <CAMMPzYOAnUK5CC287PvKDRkhMLREpF=MM_rJsfZNM_fMkpkVtw@mail.gmail.com>
- References: <E1TwFh3-0001r2-NR@taishi.runbox.com> <CAMMPzYOAnUK5CC287PvKDRkhMLREpF=MM_rJsfZNM_fMkpkVtw@mail.gmail.com>
> > The syntactic specification for numbers in the Scheme R7RS draft 8
> > section 7.1.1 (lexical structure) has unnecessary useless ambiguities that
> > I think should be fixed.
> Since once we get to the semantic interpretation of the
> numbers these two are the same, I don't think it matters.
> The formal syntax is primarily intended for human consumption,
> to clarify when the prose is not clear. I'm not sure if any of the
> past versions had ever been fully parsable by a program.
It doesn't need to be directly executable, but
I think that it should be easy to implement the productions is a straightforward manner,
so that code can easily map to the specification. In these cases, it's not hard
to tweak the specification to (1) have the same meaning but
(2) be easier to implement in an ambiguous way.
--- David A. Wheeler
Scheme-reports mailing list