On 2/24/07, John Cowan <[EMAIL PROTECTED]> 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
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
