Re: More static type fun.

From: Matthias Blume (find_at_my.address.elsewhere)
Date: 11/18/03 

Date: 18 Nov 2003 10:55:11 -0600

Joe Marshall <prunesquallor@comcast.net> writes:

> Since Don Geddis said `you can specify subsets, but you can also
> specify unions' I assumed that he was speaking informally and simply
> wanted to illustrate that taking subsets wasn't the only operation one
> could perform.

The original claim was quite explicitly talking about the fact that
Lisp's "types" are subsets of the set of all values.

> Sure. Any type is a subset of the union of all types. But this isn't
> very interesting because there isn't a whole lot of information there.

*Exactly*

> `There are more things on heaven and earth, Horatio, than are dreamt
> of in your philosophy.'

...but a Lisp "type system" ain't one of them. :-)