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