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

From: John Cowan <cowan>
Date: Sun Feb 25 17:27:43 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
Received on Sun Feb 25 2007 - 17:27:37 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC