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

[Joe Marshall]

On 2/24/07, John Cowan <cowan at ccil.org> 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".

It doesn't, actually, if you use the terminology of the static type
community.  A `type system' would encompass any system that
performs analysis on the program without actually attempting to
execute it.

>  Is an implementation that rejects
>
>        (if (foo))
>
> without running it deemed thereby to have a type system?

Certainly.  Not a particularly clever type system, but a type system
nonetheless.


-- 
~jrm