[r6rs-discuss] [Formal] Allow compilers to reject obvious
jmarshall at alum.mit.edu
Sun Feb 25 00:44:32 EST 2007
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
> 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
More information about the r6rs-discuss