[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Any and Every... (was Re: Eval)
"Any" is not the union of all types,
but one member from the group of all types.
"Every" is all members.
If you are looking for "any", you are looking for one.
If you are looking for "every", you are looking for many.
The phrases "the union of all types" and "the intersection
of all types" do not make sense. You have to have more
than one group to have unions and intersections,
but there is only one group: types.