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

[John Cowan]

William D Clinger scripsit:

> The language described by the draft R6RS cannot be
> implemented by a pure interpreter (*).  Lexical checking,
> macro expansion, syntax checking, bound-variable checking,
> and immutability checks are required before any part of a
> program can begin its execution.

Are there any pure interpreters of Scheme?  AFAIK, all of them
insist on reading at least one top-level form before executing
anything, and all do at least some preprocessing on that form.

There are languages like APL and Basic that have been implemented
by pure interpreters.

-- 
John Cowan      http://www.ccil.org/~cowan      cowan at ccil.org
Be yourself.  Especially do not feign a working knowledge of RDF where
no such knowledge exists.  Neither be cynical about RELAX NG; for in
the face of all aridity and disenchantment in the world of markup,
James Clark is as perennial as the grass.  --DeXiderata, Sean McGrath