[plt-scheme] Re: plt-scheme type of language

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Sat Dec 12 06:27:24 EST 2009

> Or is having a type system different from having types? That is... is a
> "type system", as is usually refered to, a well-defined "thing"?

I'll make a wild guess here: you haven't read PLAI, or any other book
that tries to pin down this sort of thing.



Posted on the users mailing list.