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
Received on Sun Feb 25 2007 - 00:44:32 UTC