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

From: William D Clinger <will>
Date: Sun Feb 25 20:45:07 2007

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
Received on Sun Feb 25 2007 - 20:45:01 UTC