[r6rs-discuss] Re: [Formal] Allow compilers to reject obvious violations

[William D Clinger]

I am posting this as an individual member of the Scheme
community.  I am not speaking for the R6RS editors, and
this message should not be confused with the editors'
eventual formal response.

Matthias Felleisen wrote:
> Denotational semantics isn't executable. An operational semantics
> approximating the enumeration behavior of denotational semantics is.

Was I too charitable?

> I also suspect that most people know that I have done some serious
> work on both and others can find out.

I have never implied otherwise.

Will