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

[Matthias Felleisen]

Yes, see Reynolds and all the literature that follows.

On Feb 25, 2007, at 12:28 AM, John Cowan wrote:

> 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