RE: Any and Every... (was Re: Eval)

["Christopher Barber" <address@hidden>]

> If "any" is the union of all types, that means any value of any
> type is "assignable" to a "variable" of type "any," correct?

Yes.

> Is there also a type "every" that is the intersection of all types?
> If so, what are it's values? Is "every" isomorphic to "NULL" or
> something similar, i.e. it can be assigned to everything else but
> nothing can be assigned to it? Or does it not make sense at all?

At least in Curl, the intersection of all types is a type 'void' which has
no values; i.e., there is no value that is assignable to any type.

Of course, there may be some languages in which the intersection of all
types is non-empty.

- Christopher