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

From: John Cowan <cowan>
Date: Sun Feb 25 00:28:45 2007

Matthias Felleisen scripsit:

> 1. When an implementation is allowed to reject a program without
> running it, it comes with a filter also known as a type system.

I think that rather stretches the definition of "type system". Is an
implementation that rejects

        (if (foo))

without running it deemed thereby to have a type system?

-- 
John Cowan  cowan_at_ccil.org   http://www.ccil.org/~cowan
O beautiful for patriot's dream that sees beyond the years
Thine alabaster cities gleam undimmed by human tears!
America! America!  God mend thine every flaw,
Confirm thy soul in self-control, thy liberty in law!
        -- one of the verses not usually taught in U.S. schools

Received on Sun Feb 25 2007 - 00:28:40 UTC