[R6RS] Core vs. library
William D Clinger
will at ccs.neu.edu
Wed Mar 15 08:05:52 EST 2006
My opinions on Anton's questions...
> R5RS divides syntax and procedures into primitive and library (or
> "derived" in the case of syntax). In this message, I'll use the term
> "library" to apply to both library procedures and derived syntax.
That terminology makes it nearly impossible to talk about
derived syntax that belongs in the core, not a library.
What really matters are:
* What things are available through "scheme://r6rs"?
* How are things that aren't available through "scheme://r6rs"
divided up into libraries?
* What other distinctions might improve the presentation
of the R6RS document?
> R5RS also defines "built-in" or "standard" procedures, which include
> both primitive and library procedures. In R6RS, these would presumably
> correspond to the procedures available when the "scheme://r6rs" language
> is specified in a module. I'll call these features "built-in" in this
> message, referring to both procedures and syntax.
Once again, this is an unfortunate choice of terminology.
With your definitions of "library syntax" and "built-in
syntax", I would argue that "let" should be both. That's
confusing.
> 1. Should "core" mean, essentially, "built-in primitive"?
No. I think "core" should have no connection to the split
between "scheme://r6rs" and the libraries, but should have
meaning for the presentation of the R6RS. I think "core"
should denote the set of all syntax and procedures, whether
in "scheme://r6rs" or libraries, that the editor of the
R6RS chooses to use as a primitive basis for describing the
entire language.
> Or should it mean something broader?
Neither broader nor narrower, but different.
> More generally, what is the relationship, if
> any, between "primitive" and "core"?
"Core" should mean "primitive", but should not imply
"built-in".
> ....Also, some R6RS libraries which are not "built-in"
> may define primitives - an example might be the symbol-hash procedure,
> in a hash functions library, which may not be built in. This could be
> called a "primitive library procedure"; should such a procedure also be
> classified as "core"?
Yes.
> 2. If a feature can be defined in terms of primitive features, does that
> always imply that it is a library feature?
No.
> 3. If a feature is classified as "library", does that mean it has to
> actually be defined in an R6RS library?
Since you are using "library" to include all derived syntax,
I have to say the answer is no. I think that is terribly
confusing, however. I would prefer we use the word "library"
only when referring to libraries.
> 4. A question which Mike is interested in: how will the Report be
> divided up? Will the entire core be in its own section(s), or will it
> follow the R5RS model in which the definition of built-in library
> features are interleaved with core features?
I would suggest that the R6RS be divided into a core report
that describes the syntax and procedures taken as primitive,
a base report that describes what is implied by "scheme://r6rs",
including those things that have already been described by the
core report, and a library report that describes things that
are not in "scheme://r6rs" but are in one of the standard
libraries, including those things that have already been
described by the core report.
Will
More information about the R6RS
mailing list