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
Received on Sun Feb 25 2007 - 10:10:09 UTC