[r6rs-discuss] [Formal] Syntactic datums and datum values

From: AndrevanTonder <andre>
Date: Tue Mar 13 13:51:44 2007

On Mon, 12 Mar 2007, Mikael Tillenius wrote:

> ... datum values
> are not Scheme objects/values, and it makes no sense to apply Scheme function
> to them.

> To sum up my understanding of the issue: "Syntactic datums" are just strings
> of characters as defined by the grammar. "Datum values" are something more
> abstract, described only indirect via a function from syntactic datums.

If accurate, then things are even worse than I thought. How many actual
levels of "value" are there, then? Abstract values might make sense in the
context of a denotational semantics. However, the r6rs report only includes an
operational semantics.

Andre
Received on Tue Mar 13 2007 - 13:51:08 UTC