[r6rs-discuss] [Formal] Allow compilers to reject obvious
matthias at ccs.neu.edu
Sun Feb 25 10:10:09 EST 2007
Yes, see Reynolds and all the literature that follows.
On Feb 25, 2007, at 12:28 AM, John Cowan 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". Is an
> implementation that rejects
> (if (foo))
> without running it deemed thereby to have a type system?
> John Cowan cowan at ccil.org 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
More information about the r6rs-discuss