[r6rs-discuss] [Formal] Allow compilers to reject obvious
cowan at ccil.org
Sun Feb 25 17:27:37 EST 2007
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
More information about the r6rs-discuss