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

AndrevanTonder andre at het.brown.edu
Tue Mar 13 13:51:08 EDT 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



More information about the r6rs-discuss mailing list